464 search results - page 37 / 93 » Validating Attacks on Authentication Protocols |
CSFW
2005
IEEE
14 years 3 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 ...
JCP
2007
13 years 9 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...
NDSS
2002
IEEE
14 years 2 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...
CEAS
2008
Springer
13 years 11 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
13 years 7 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...