A compositional logic for protocol correctness (2001)

by N Durgin, J Mitchell, D Pavlovic
Venue:In 14th IEEE Computer Security Foundations Workshop (CSFW-14