DMCA

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

Cached

Download Links

by Reiner Dojen , Tom Coffey
Venue:ACM Transactions on Information and System Security
Citations:2 - 1 self