Title :
Design and verification of secure channel based on UMLsec
Author_Institution :
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
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;
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
DOI :
10.1109/ICCSN.2011.6013785
