A Novel Approach to the Automation of Logic-Based Security Protocol Verification (2004)

by Reiner Dojen, Tom Coffey
Venue:WSEAS Transactions on Information Science and Applications