The Concept of Layered Proving Trees and Its Application to the Automation of Security Protocol Verification (2005)

by R Dojen, T Coffey
Venue:ACM Transactions on Information and System Security