2575 search results - page 33 / 515 » Providing security with insecure systems |
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
STOC
2007
ACM
16 years 2 days ago
2007
ACM
We give an exponential separation between one-way quantum and classical communication protocols for two partial Boolean functions, both of which are variants of the Boolean Hidden...
SWS
2006
ACM
15 years 5 months ago
2006
ACM
Single sign-on is critical for the usability of distributed systems. While there are several authentication mechanisms which support single sign-on (e.g. Kerberos and X.509), it m...
104
click to vote
FM
2006
Springer
15 years 3 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
CAINE
2003
15 years 1 months ago
2003
Most security protocols share a similar set of algorithms and functions and exhibit common sequences and patterns in the way they operate. These observations led us to propose a u...