Usp: Modeling Security Protocol With Umlll

Zhitang Li,Yunfeng Xie,Weiming Li
DOI: https://doi.org/10.1117/12.689087
2006-01-01
Abstract:The design of security protocols is difficult and extremely complicated. In this paper, we presents a framework for modeling security protocol, UML extension for security protocol (USP), which makes it possible to the development of security protocols in an intuitive and visual way. For further security analysis of USP model, we refer to a precisely defined semantics of behavioral aspects. The formal semantics of a simplified fragment of UML builds on dynamic semantics of UML State Machines. As a case study, Denning-Sacco protocol will be described with USP. Moreover, the security protocol described with USP can be converted to an implementation or connected with existing formal analysis framework if appropriate converter tools are available.
What problem does this paper attempt to address?