Design and verification of secure channel based on UMLsec
Ling Shen · 2011
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.