Modeling Cryptographic Protocols and Their Collusion Analysis.

Steven H. LowNicholas F. Maxemchuk
Published in: Information Hiding (1996)