摘要
文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。
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.
出处
《计算机应用》
CSCD
北大核心
2003年第10期42-45,共4页
journal of Computer Applications
关键词
安全协议
形式化技术
协议说明
协议设计
协议验证
secure protocol
formal technology
protocol specification
protocol designing
protocol verification