4 search results - page 1 / 1 » Computationally sound mechanized proofs for basic and public... |
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 ...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
FM
2006
Springer
13 years 8 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...