DocumentCode
3221946
Title
Design and verification of secure channel based on UMLsec
Author
Shen, Ling
Author_Institution
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
fYear
2011
fDate
27-29 May 2011
Firstpage
97
Lastpage
100
Abstract
To solve the limitation of traditional development method of secure system, this paper discusses the UMLsec method which is based on the UML method to development secure key system. The secure requirement could be provided by UMLsec method. These prosperities could be used to assess different UML graphs and mark potential bugs, and verify stated secure requirement has been implemented certain secure strategy. In this paper, the gradual development of secure system and verification are presented by a case of design secure channel.
Keywords
Unified Modeling Language; program verification; safety-critical software; security of data; UML graphs; UMLsec method; development secure key system; mark potential bugs; secure channel verification; software safety system; Adaptation models; Computational modeling; Encryption; Refining; Unified modeling language; UML; UMLsec; refinement; secure system;
fLanguage
English
Publisher
ieee
Conference_Titel
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location
Xi´an
Print_ISBN
978-1-61284-485-5
Type
conf
DOI
10.1109/ICCSN.2011.6013785
Filename
6013785
Link To Document