378 search results - page 5 / 76 » Security Protocol Design via Authentication Tests |
SIGMETRICS
2006
ACM
14 years 1 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 ...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
The Border Gateway Protocol (BGP) is the de facto interdomain routing protocol on the Internet. While the serious vulnerabilities of BGP are well known, no security solution has b...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...
NSDI
2008
13 years 10 months ago
2008
We present the design of a user study for comparing the security of two registration mechanisms for initializing credentials in machine authentication protocols, such as SiteKey. ...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...