464 search results - page 37 / 93 » Validating Attacks on Authentication Protocols |
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
107
click to vote
JCP
2007
14 years 11 months ago
2007
— Integrity of digital documents is a very important issue if they are to be legally binding. Common solutions, like digital signatures or message authentication codes, are based...
130
click to vote
NDSS
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we address the problem of secure communication and authentication in ad-hoc wireless networks. This is a difficult problem, as it involves bootstrapping trust betwe...
104
click to vote
CEAS
2008
Springer
15 years 1 months ago
2008
Springer
The increasing use of email for phishing and unsolicited marketing has reduced the trustworthiness of email as a communication medium. Sender authentication is a known defense aga...
WISTP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...