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

by R Dojen, T Coffey
Venue:WSEAS Transactions on Information Science and Applications