SPLIT: Security Protocol Interaction Testing in Practice.

Dimitris E. Simos

Published in: ERCIM News (2016)

Keyphrases

security protocols
artificial immune algorithm
security services
automated design
cryptographic algorithms
test cases
authentication protocol
digital libraries
security mechanisms
rfid tags
security requirements