动态协议设计机制研究

• 作者: 何康 林伟 王凯 祝跃飞
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 形式化 动态性 概率模型
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 信息安全技术
• 页码范围: 503-507,521
• 页数: 6页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.02.041

摘要

安全协议的设计一直是网络安全领域的重要研究方向,传统的协议的安全性用经验和形式化的分析来保证.由于新攻击手段的出现,以及协议设计实现的缺陷等,协议仍存在潜在安全问题.传统的协议的设计和实现的模块相对固定,攻击者有充足的资源和时间分析和利用目标协议存在的缺陷和漏洞,对设计者有天然的不对称优势.为打破这种优势,提出了动态协议设计机制,对传统协议进行多样化、动态化改造,减少协议缺陷和漏洞的暴露时间.提出了基于攻击步骤的概率评估模型,验证了动态协议设计机制的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林伟		10	18	2.0	4.0
2	祝跃飞		16	69	4.0	8.0
3	何康		3	1	1.0	1.0
4	王凯		3	7	1.0	2.0