28 September 2006 USP: modeling security protocol with UML
Author Affiliations +
Proceedings Volume 6354, Network Architectures, Management, and Applications IV; 63543D (2006) https://doi.org/10.1117/12.689087
Event: Asia-Pacific Optical Communications, 2006, Gwangju, South Korea
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.
© (2006) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Zhitang Li, Zhitang Li, Yunfeng Xie, Yunfeng Xie, Weiming Li, Weiming Li, } "USP: modeling security protocol with UML", Proc. SPIE 6354, Network Architectures, Management, and Applications IV, 63543D (28 September 2006); doi: 10.1117/12.689087; https://doi.org/10.1117/12.689087
PROCEEDINGS
7 PAGES


SHARE
Back to Top