DMCA

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
Citations:5 - 5 self