Model–Based Testing of Cryptographic Protocols (2005)

by D Rosenzweig, D Runje, W Schulte
Venue:In Trustworthy Global Computing