4111 search results - page 205 / 823 » Security, Protocols, and Trust |
EUROCRYPT
2010
Springer
14 years 3 months ago
2010
Springer
A broadcast protocol allows a sender to distribute a message through a point-to-point network to a set of parties, such that (i) all parties receive the same message, even if the s...
SIGMETRICS
2006
ACM
14 years 4 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ENTCS
2006
13 years 10 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...
ICALP
2007
Springer
14 years 16 days ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...