USP: modeling security protocol with UML

Zhitang Li; Yunfeng Xie; Weiming Li

doi:10.1117/12.689087

28 September 2006 USP: modeling security protocol with UML

Zhitang Li, Yunfeng Xie, Weiming Li

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.

Citation Download Citation

Zhitang Li, Yunfeng Xie, and Weiming Li "USP: modeling security protocol with UML", Proc. SPIE 6354, Network Architectures, Management, and Applications IV, 63543D (28 September 2006); https://doi.org/10.1117/12.689087

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available