Sciweavers

7 search results - page 2 / 2
» Random Polynomial-Time Attacks and Dolev-Yao Models
Sort
View
ENTCS
2006
145views more  ENTCS 2006»
13 years 5 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
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...
Michael Backes
INFOCOM
2010
IEEE
13 years 3 months ago
Network Reliability With Geographically Correlated Failures
Abstract--Fiber-optic networks are vulnerable to natural disasters, such as tornadoes or earthquakes, as well as to physical failures, such as an anchor cutting underwater fiber ca...
Sebastian Neumayer, Eytan Modiano