Informal specification-based performance evaluation of security protocols

Béla Genge Piroska Haller Iosif Ignat Ovidiu Ratoi

Published in: CoRR (2009)

Keyphrases

security protocols
automated design
security properties
cryptographic algorithms
artificial immune algorithm
security services
security mechanisms
secure communication
key management
security requirements
authentication protocol
cryptographic protocols
data mining
formal specification
formal methods