[1]
|
J. Katz and Y. Lindell.
Introduction to Modern Cryptography. Chapman & Hall, 2007.
|
[2]
|
O. Goldreich.
Foundations of Cryptography I: Basic Tools. Cambridge University Press, 2001.
|
[3]
|
O. Goldreich.
Foundations of Cryptography II: Basic Applications. Cambridge University Press, 2004.
|
[4]
|
D. R. Stinson.
Cryptography: theory and practice. Chapman & Hall, Third Edition, 2006.
|
[5]
|
J. A.  Buchmann.
Introduction to Cryptography. Springer, Second Edition, 2004.
|
[6]
|
Martin Abadi.
Security Protocols: Principles and Calculi.
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures, Springer-Verlag (2007), 1-23.
[ pdf ]
|
[7]
|
Bruno Blanchet.
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules.
14th IEEE Computer Security Foundations Workshop (CSFW-14), pages 82-96, Cape Breton, Nova Scotia, Canada, June 2001. IEEE Computer Society.
[ ps.gz ]
|
[8]
|
Bruno Blanchet.
ProVerif. Automatic Cryptographic Protocol Verifier. User Manual
[ ps.gz ]
|