Design and verification of Secure Channel based on UMLsec
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.
UML UMLsec secure system refinement
Ling Shen
College of Computer science and information Guizhou University Guizhou Guiyang China
国际会议
贵阳
英文
97-100
2011-01-26（万方平台首次上网日期，不代表论文的发表时间）