安全ARP的Clark-Wilson模型化

计算机科学 ›› 2008, Vol. 35 ›› Issue (1): 64-66.

安全ARP的Clark-Wilson模型化

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
科技部攻关项目（编号2005BA113A02）、发改委项目“安全系统软件产业化”资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: ARP 安全ARP Clark-Wilson模型完整性

Abstract: Vulnerabilities in the ARP protocol became a threat to TCP/IP security. Countermeasures to these vulnera- bilities based on Symmetric-Key Cryptography or Asymmetric-Key Cryptography are proposed recently. In the present paper, the principle of ARP attacks

Key words: ARP, Secure ARP, Clark-Wilson model, Integrity

. 安全ARP的Clark-Wilson模型化[J]. 计算机科学, 2008, 35(1): 64-66. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed