Computing symbolic models for verifying cryptographic protocols (2001)

by M Fiore, M Abadi
Venue:In Proc.14th IEEE Computer Security Foundations Workshop