Author:
Jagadeesan Radha,Pitcher Corin,Riely James
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abadi, M.: Access control in a core calculus of dependency. ENTCS 172, 5–31 (2007)
2. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148, 36–47 (1999)
3. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507–535 (1995)
4. Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM 46, 611–638 (1998)
5. Anderson, M., Pose, R.D., Wallace, C.S.: A password-capability system. Comput. J. 29(1), 1–8 (1986)