安全ARP的Clark-Wilson模型化

• 作者: 徐梓耀 贺也平 邓灵莉 陈小岩
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: ARP 安全ARP Clark-Wilson模型 完整性
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 64-66
• 页数: 3页
• 分类号: TP3
• 字数: 4512字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.01.017

摘要

ARP协议漏洞严重威胁着TCP/IP的安全,一些基于对称或非对称密钥机制的安全ARP协议被相继提出.本文介绍了ARP协议攻击的原理和几个最出名的基于对称或非对称密钥机制的安全ARP协议,引入Clark-Wilson商业模型对ARP的完整性状态进行了分析,把改进协议Clark-Wilson模型化,在模型化的过程中找到了它们不能通过Clark-Wilson商业模型验证规则的关键点,并根据Clark-Wilson商业模型提出的经典场景,给出了相应的攻击场景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贺也平	中国科学院软件研究所	46	727	16.0	26.0
2	徐梓耀	中国科学院软件研究所	2	30	1.0	2.0
3	邓灵莉	中国科学院软件研究所	2	30	1.0	2.0
4	陈小岩		1	1	1.0	1.0