Formal Specification,Designing and Verification of Secure Protocol
Ya Wang, Pla Information · 2003
The paper introduces the research and development of secure protocol formal specification,designing,and verification technology in detail,analyzed their principles,advantages and disadvantages,and set forth some comments about the future research of the technology.