Automated refinement of security protocols.

Anders Moen Hagalisletto

Published in: IPDPS (2006)

Keyphrases

security protocols
automated design
cryptographic algorithms
artificial immune algorithm
security properties
security services
key management
authentication protocol
secure communication
cryptographic protocols
sensor networks
wireless networks
security mechanisms