1853 search results - page 4 / 371 » Cryptographic Protocols and Network Security |
ENTCS
2006
13 years 4 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...
SIGCOMM
2004
ACM
13 years 10 months ago
2004
ACM
As our economy and critical infrastructure increasingly relies on the Internet, the insecurity of the underlying border gateway routing protocol (BGP) stands out as the Achilles h...
ESORICS
1994
Springer
13 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
ESAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
ISICT
2003
13 years 6 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...