21 search results - page 1 / 5 » esorics 2006 |
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
ESORICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...