A Modeling Framework for Generating Security Protocol Specifications

Béla Genge Piroska Haller

Published in: CoRR (2009)

Keyphrases

modeling framework
security protocols
security services
artificial immune algorithm
topic modeling
educational technology
security mechanisms
security requirements
authentication protocol
real time
key management