一种新的安全协议设计方法
The Design of Network Protocols Based on PDS出 版 物：《河南科学》 (Henan Science)
年 卷 期：2008年第26卷第3期
页 面：322-325页
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金资助项目(90204015 60473021) 河南省科技攻关基金资助项目(0524220044)
主 题：安全协议 形式化设计 协议推导系统 ISO-9798-3协议
摘 要：已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.
维普期刊数据库
同方期刊数据库