Funder
National Natural Science Foundation of China
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference34 articles.
1. Just fast keying in the pi calculus;Abadi;ACM Transactions on Information and System Security,2007
2. Deciding knowledge in security protocols under equational theories;Abadi;Theoretical Computer Science,2006
3. Mobile values, new names, and secure communication;Abadi,2001
4. M. Abadi, A. Gordon, A calculus for cryptographic protocols: the spi calculus, in: Proceedings of 4th ACM Conference on Computer and Communications Security, 1997, pp. 36–47.
5. A calculus for cryptographic protocols: the spi calculus;Abadi;Information and Computation,1999