741 search results - page 32 / 149 » Verification of security protocols using LOTOS-method and ap... |
149
Voted
NSDI
2004
15 years 5 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
136
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
149
click to vote
JUCS
2008
15 years 3 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
114
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card t...
138
click to vote
SEC
2004
15 years 5 months ago
2004
: Smart card secure channel protocols based on public key cryptography are not widely utilised mainly due to processing overheads introduced in the underlying smart card microproce...