3115 search results - page 96 / 623 » Synthesizing Secure Protocols |
ITNG
2006
IEEE
15 years 3 months ago
2006
IEEE
In 2003, Zhao, Varadharajan and Mu proposed a mental poker protocol whose security was shown to be flawed in 2004: any player (or any outsider knowing the deck coding) is able to...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
CMS
2003
14 years 11 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
115
Voted
SSWMC
2004
14 years 11 months ago
2004
In spite of numerous advantages of biometrics-based personal authentication systems over traditional security systems based on token or knowledge, they are vulnerable to attacks t...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Without physical boundaries, a wireless network faces many more security threats than a wired network does. Therefore, in the IEEE 802.16 standard a security sublayer is specified...