安全ARP的Clark-Wilson模型化

作者：陈小岩; 贺也平; 徐梓耀; 邓灵莉

来源：计算机科学, 2008, (01): 64-66.

• ARP
• 安全ARP
• Clark-Wilson模型
• 完整性 ARP
• Secure ARP
• Clark-Wilson model
• Integrity

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

• 出版日期2008
• 单位中国科学技术大学; 中国科学院软件研究所