1463 search results - page 234 / 293 » Model Checking Implicit-Invocation Systems |
147
click to vote
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
107
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
130
click to vote
SP
1997
IEEE
15 years 5 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...