A calculus for cryptographic protocols: The spi calculus (1997)

by M Abadi, A D Gordon
Venue:In Fourth ACM Conference on Computer and Communications Security