Automated Verification of Wireless Security Protocols using Layered Proving Trees (2006)

by M Ventuneac, R Dojen, T Coffey
Venue:WSEAS Transactions on Communications