Authentication tests and disjoint encryption: A design method for security protocols

Joshua D. Guttman. Authentication tests and disjoint encryption: A design method for security protocols. Journal of Computer Security, 12(3-4):409-433, 2004.

Abstract

Abstract is missing.