Author:
Chatzikokolakis Konstantinos,Norman Gethin,Parker David
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Roscoe, A.W.: Modelling and verifying key-exchange protocols using CSP and FDR. In: Proc. CSFW, pp. 98–107. IEEE Computer Soc. Press, Los Alamitos (1995)
2. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148, 1–70 (1999)
3. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proceedings of POPL 2001, pp. 104–115. ACM, New York (2001)
4. Lecture Notes in Computer Science;S. Kremer,2005
5. McLean: A general theory of composition for a class of “possibilistic” properties. IEEETSE: IEEE Transactions on Software Engineering 22 (1996)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献