一种新的安全协议设计方法

• 作者: 常青美 王惠斌 祝跃飞 马明山
• 来源期刊: 河南科学
• 关键词: 安全协议 形式化设计 协议推导系统 ISO-9798-3协议
• 年，卷（期）: 2008,（3）
• 页码范围: 322-325
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1004-3918.2008.03.021

摘要

已有的安全协议往往被证实并不如它们的设计者所期望的那样安全,如何设计才能确保协议的安全性是目前研究的难点之一.通过介绍目前安全协议设计的主要思路和方法,说明了PDS系统的主要内容和方法,推导出了ISO-9798-3协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞		80	379	10.0	14.0
2	马明山		10	118	4.0	10.0
3	王惠斌		3	9	2.0	3.0
7	常青美		8	59	4.0	7.0