Author:
Datta Anupam,Derek Ante,Mitchell John C.,Roy Arnab
Subject
General Computer Science,Theoretical Computer Science
Reference76 articles.
1. Abadi, M. and C. Fournet, Mobile values, new names, and secure communication, in: 28th ACM Symposium on Principles of Programming Languages, 2001, pp. 104–115
2. A calculus for cryptographic protocols: the spi calculus;Abadi;Information and Computation,1999
3. The AVISPA tool for the automated validation of internet security protocols and applications;Armando,2005
4. Backes, M., A. Datta, A. Derek, J.C. Mitchell and M. Turuani, Compositional analysis of contract signing protocols, in: Proceedings of 18th IEEE Computer Security Foundations Workshop (2005)
Cited by
111 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献