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

by Reiner Dojen, Tom Coffey
Venue:ACM Transactions on Information and System Security