4 search results - page 1 / 1 » Computationally sound mechanized proofs for basic and public... |
ESORICS
2006
Springer
14 years 2 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
14 years 24 days ago
2008
ACM
TLCA
2009
Springer
14 years 5 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
14 years 2 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...