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

K. R. Jayaram Aditya P. Mathur

Published in: COMPSAC (2008)

Keyphrases

cryptographic protocols
test generation
standard model
security properties
authentication protocol
encryption decryption
security protocols
high dimensional
data model
formal methods
formal verification
class diagrams
locally decodable codes