Share Email Print
cover

Proceedings Paper

USP: modeling security protocol with UML
Author(s): Zhitang Li; Yunfeng Xie; Weiming Li
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 28 September 2006
PDF: 7 pages
Proc. SPIE 6354, Network Architectures, Management, and Applications IV, 63543D (28 September 2006); doi: 10.1117/12.689087
Show Author Affiliations
Zhitang Li, Huazhong Univ. of Science and Technology (China)
Yunfeng Xie, Huazhong Univ. of Science and Technology (China)
Weiming Li, Huazhong Univ. of Science and Technology (China)


Published in SPIE Proceedings Vol. 6354:
Network Architectures, Management, and Applications IV
Yong Hyub Won; Gee-Kung Chang; Ken-ichi Sato; Jian Wu, Editor(s)

© SPIE. Terms of Use
Back to Top