首页 | 本学科首页   官方微博 | 高级检索  
     

安全协议的形式化说明、设计及验证
引用本文:王娜,王亚弟.安全协议的形式化说明、设计及验证[J].计算机应用,2003,23(10):42-45.
作者姓名:王娜  王亚弟
作者单位:中国人民解放军信息工程大学,电子技术学院,河南,郑州,450004
摘    要:文中针对形式化技术在安全协议说明、设计和验证三个方面的研究和进展情况进行了详细介绍,分析了它们的原理和优缺点,并对该技术的研究发展前景提出见解。

关 键 词:安全协议  形式化技术  协议说明  协议设计  协议验证
文章编号:1001-9081(2003)10-0042-04
修稿时间:2003年4月14日

Formal Specification,Designing and Verification of Secure Protocol
Abstract:
Keywords:secure protocol  formal technology  protocol specification  protocol designing  protocol verification
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号