Sciweavers

7 search results - page 2 / 2
» Random Polynomial-Time Attacks and Dolev-Yao Models
Sort
View
ENTCS
2006
145views more  ENTCS 2006»
15 years 1 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
14 years 11 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