The design and verification of security protocols (1996)

by Peter Y A Ryan