Modeling Security Protocols using UML2.

Alain Beaulieu Greg Phillips Sandra Smith

Published in: MODSEC@MoDELS (2008)

Keyphrases

security protocols
modeling language
automated design
unified modeling language
databases
sequence diagrams
artificial immune algorithm
artificial intelligence
information systems
case study
object oriented
software engineering
petri net
formal methods
key management
authentication protocol