1853 search results - page 188 / 371 » Cryptographic Protocols and Network Security |
173
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Distance bounding protocols have been proposed for many security critical applications as a means of getting an upper bound on the physical distance to a communication partner. As...
160
click to vote
CCGRID
2006
IEEE
16 years 17 days ago
2006
IEEE
— Widespread use of cluster systems in diverse set of applications has spurred significant interest in providing high performance cluster interconnects. A major inefficiency in...
188
click to vote
NDSS
2005
IEEE
16 years 2 days ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
154
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
160
click to vote
CSFW
2007
IEEE
16 years 25 days ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...