132 search results - page 5 / 27 » Modelling Attacker's Knowledge for Cascade Cryptographic Pro... |
86
Voted
FSTTCS
2003
Springer
15 years 2 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...
68
Voted
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
77
Voted
LPAR
2007
Springer
15 years 3 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
74
Voted
FCT
2003
Springer
15 years 2 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...