SECFUZZ: Fuzz-testing security protocols.

Petar Tsankov Mohammad Torabi Dashti David A. Basin

Published in: AST (2012)

Keyphrases

security protocols
automated design
security services
cryptographic algorithms
security properties
key management
secure communication
artificial immune algorithm
cryptographic protocols
data mining
database systems
rfid tags
authentication protocol
security mechanisms