Author:
Gordon Andrew D,Jeffrey Alan
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. A calculus for cryptographic protocols;Abadi;Inform., Comput.,1999
2. Lambda calculi with types;Barendregt,1992
3. The chemical abstract machine;Berry;Theoret. Comput. Sci.,1992
4. S. Chaki, S.R. Rajamani, J. Rehof, Types as models: model checking message-passing programs, in: 29th ACM Symp. on Principles of Programming Languages (POPL’02), 2002, pp. 45–57.
5. E. Clarke, W. Marrero, Using formal methods for analyzing security. Available at http://www.cs.cmu.edu/~marrero/abstract.html, 2000.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献