Modeling Security Protocols using UML2.
Alain Beaulieu, Greg Phillips, Sandra Smith · 2008
Security protocols must be designed to ensure the integrity of electronic communications between participants. Although the design of secure communication protocols has improved over the years the tasks of building and validating these protocols remain inherently difficult. Security protocols may fail due to unintended use, malicious attacks, incorrect logic or incorrect transition from design to code. We present our research to investigate the use of UML 2 to model, verify and validate