Article citationsMore>>

Blanchet, B., Jaggard, A.D., Scedrov, A. and Tsay, J.-K. (2008) Computationally Sound Mechanized Proofs for Basic and Public-Key Kerberos. Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, Tokyo, 18-20 March 2008, 87-99.

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
Free SCIRP Newsletters
Copyright © 2006-2021 Scientific Research Publishing Inc. All Rights Reserved.