11 search results - page 3 / 3 » A Cryptographically Sound Dolev-Yao Style Security Proof of ... |
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...