5488 search results - page 161 / 1098 » On the Secure Implementation of Security Protocols |
138
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
135
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
119
click to vote
ISN
1998
Springer
15 years 8 months ago
1998
Springer
An expectation of a signature system is that a signatory cannot dispute a signature. Aiming at this, the following questions arise: Can documents in electronic commerce on the Inte...
123
click to vote
ISICT
2004
15 years 6 months ago
2004
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...
185
click to vote
JCM
2006
15 years 4 months ago
2006
RFID tags will exist pervasively in our daily life in a near future. In RFID systems, privacy and security are of critical importance to avoid potential tracking abuse and privacy ...