15 search results - page 1 / 3 » Soundness Conditions for Cryptographic Algorithms and Parame... |
DEPCOS
2008
IEEE
13 years 11 months ago
2008
IEEE
IEEEARES
2008
IEEE
13 years 11 months ago
2008
IEEE
FSTTCS
2003
Springer
13 years 10 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...