3115 search results - page 198 / 623 » Synthesizing Secure Protocols |
142
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
120
click to vote
IACR
2011
14 years 3 months ago
2011
Abstract. In this paper, we analyze the security of AZUMI protocol which is compliant with the EPCClass-1 Generation-2 standard and recently has been proposed by Peris et al. This ...
140
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Ad-hoc networks are perceived as communities of autonomous devices that interconnect with each other. Typically, they have dynamic topologies and cannot rely on a continuous conne...
114
click to vote
ICNSC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Today sending spams has turned to be a major problem in the Internet. It is so serious that more than 80% of the transferred emails are spams. As a result, various methods have...
139
click to vote
ADHOCNOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Bluetooth wireless technology realizes a low-cost shortrange wireless voice- and data-connection through radio propagation. Bluetooth also has a security architecture...