132 search results - page 2 / 27 » Modelling Attacker's Knowledge for Cascade Cryptographic Pro... |
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
ENTCS
2006
13 years 5 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
ISPEC
2007
Springer
13 years 11 months ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...