5488 search results - page 77 / 1098 » On the Secure Implementation of Security Protocols |
115
click to vote
AISM
2004
15 years 1 months ago
2004
The exchange of routing protocol updates is used to ensure that routers using an Internal Gateway Protocol (IGP) in an Autonomous System (AS), or routers using an External Gateway...
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
101
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
EUROCRYPT
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
OSDI
2004
ACM
16 years 4 days ago
2004
ACM
SUNDR is a network file system designed to store data securely on untrusted servers. SUNDR lets clients detect any attempts at unauthorized file modification by malicious server o...