2 search results - page 1 / 1 » Timed Spi-Calculus with Types for Secrecy and Authenticity |
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
POPL
2000
ACM
13 years 8 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...