3115 search results - page 39 / 623 » Synthesizing Secure Protocols |
COMPSEC
2006
13 years 9 months ago
2006
Anonymity is a desirable security feature in addition to providing user identification and key agreement during a user's login process. Recently, Yang et al., proposed an eff...
ICICS
2010
Springer
13 years 7 months ago
2010
Springer
Due to the rapid growth of e-commerce technology, secure auction protocols have attracted much attention among researchers. The main reason for constructing sealed-bid auction prot...
COMCOM
2011
13 years 4 months ago
2011
We identify privacy, security and performance requirements for RFID protocols, as well as additional functional requirements such as tag ownership transfer. Many previously propos...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
JSW
2008
13 years 9 months ago
2008
Abstract-- In this paper, we analyze the security vulnerabilities of a family of ultra-lightweight RFID mutual authentication protocols: LMAP [13], M2 AP [14] and EMAP [15], which ...