A review of Proverif as an automatic security protocol verifier
A review of Proverif as an automatic security protocol verifier
A review of Proverif as an automatic security protocol verifier
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
33. C. Meadows. A Model <strong>of</strong> Computation for the NRL Protocol Analyzer. In Proceedings<br />
<strong>of</strong> the 7th Computer Security Foundations Workshop, pages 84–89, Los<br />
Alamitos, 1994. IEEE.<br />
34. A. J. Menezes, S. A. V<strong>an</strong>stone, <strong>an</strong>d P. C. V<strong>an</strong> Oorschot. H<strong>an</strong>dbook <strong>of</strong> Applied<br />
Cryptography. CRC Press, Inc., Boca Raton, 1996.<br />
35. J. K. Millen, S. C. Clark, <strong>an</strong>d S. B. Freedm<strong>an</strong>. The Interrogator: Protocol Security<br />
Analysis. IEEE Tr<strong>an</strong>s. S<strong>of</strong>tware Eng., 13(2):274–288, 1987.<br />
36. D. K. Nilsson, U. E. Larson, <strong>an</strong>d E. Jonsson. Auxiliary ch<strong>an</strong>nel Diffie-Hellm<strong>an</strong><br />
encrypted key-exch<strong>an</strong>ge authentication. In QShine ’08: Proceedings <strong>of</strong> the 5th International<br />
ICST Conference on Heterogeneous Networking for Quality, Reliability,<br />
Security <strong>an</strong>d Robustness, pages 1–8, Brussel, 2008. ICST.<br />
37. L. C. Paulson. The inductive approach to verifying cryptographic <strong>protocol</strong>s. Journal<br />
<strong>of</strong> computer <strong>security</strong>, 6(1-2):85–128, 1998.<br />
38. A. D. Rubin. Security considerations for remote electronic voting. Commun. ACM,<br />
45(12):39–44, 2002.<br />
39. D. Song. Athena: a New Efficient Automatic Checker for Security Protocol Analysis.<br />
Computer Security Foundations Workshop, IEEE, 0:192, 1999.
Change language