375 search results - page 69 / 75 » What is Correctness of Security Protocols |
IFIP
2005
Springer
14 years 1 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...
DSN
2011
IEEE
12 years 7 months ago
2011
IEEE
—One of the key benefits of using intrusion-tolerant systems is the possibility of ensuring correct behavior in the presence of attacks and intrusions. These security gains are ...
CCS
2004
ACM
14 years 1 months ago
2004
ACM
Access control can be used to ensure that database queries pertaining to sensitive information are not answered. This is not enough to prevent users from learning sensitive inform...
MSWIM
2004
ACM
14 years 1 months ago
2004
ACM
Emerging “urban” ad hoc networks resulting from a large number of individual WLAN users challenge the way users could explore and interact with their physical surroundings. Ro...