Author:
Adi Kamel,Debbabi Mourad,Mejri Mohamed
Subject
General Computer Science,Theoretical Computer Science
Reference59 articles.
1. M. Abadi, A.D. Gordon, A calculus for cryptographic protocols: The spi calculus, Technical Report, DEC/SRC, 1996.
2. A calculus for cryptographic protocols;Abadi,1997
3. M. Abadi, M.R. Tuttle, A semantics for a logic of authentication, in: Proc. 10th Annu. ACM Symp. on Principles of Distributed Computing, 1991, pp. 201–216.
4. Abstract machines for communication security;Bieber,1993
5. An approach to the formal verification of cryptographic protocols;Bolignano,1996
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献