Three System for Cryptographic Protocol Analysis

R. Kemmerer, C. Meadows and J. Millen

Volume 7, Number 2, 1994, Pages 79-130