Author:
Dougherty Daniel J.,Guttman Joshua D.
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Amadio, R.M., Lugiez, D., Vanackère, V.: On the symbolic reduction of processes with cryptographic functions. Theoretical Computer Science 290(1), 695–740 (2003)
2. Ankney, R., Johnson, D., Matyas, M.: The Unified Model. Contribution to ANSI X9F1. Standards Projects (Financial Crypto Tools), ANSI X, 42 (1995)
3. Lecture Notes in Computer Science;A. Armando,2005
4. Ax, J.: The elementary theory of finite fields. The Annals of Mathematics 88(2), 239–271 (1968)
5. Basin, D.A., Mödersheim, S., Viganò, L.: OFMC: A symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3), 181–208 (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献