On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.

K. R. Jayaram, Aditya P. Mathur

Browse the full COMPSAC paper archive.