[1]李元 吴勇 李祥.ARP协议的描述与TLA验证[J].计算机技术与发展,2010,(06):163-166.
　LI Yuan,WU Yong,LI Xiang.The Description and Validation of ARP Protocol Based on TLA[J].,2010,(06):163-166.
点击复制

ARP协议的描述与TLA验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年06期
页码:
163-166
栏目:
安全与防范
出版日期:
1900-01-01

文章信息/Info

Title:
The Description and Validation of ARP Protocol Based on TLA
文章编号:
1673-629X（2010）06-0163-04
作者:
李元 吴勇 李祥
贵州大学计算机软件与理论研究所
Author(s):
LI Yuan; WU Yong; LI Xiang
Institute of Computer Software and Theory,Guizhou University
关键词:
ARP协议; ARP欺骗; 行为时序逻辑
Keywords:
ARP protocol;  ARP spoofing;  TLA
分类号:
TP393.08
文献标志码:
A
摘要:
随着计算机网络的发展,网络的安全性日益受到人们的关注。ARP攻击是一种非常专业化的网络攻击方式,它会给网络管理员增加很大的负担,破坏主机数据,窃取主机信息。Lesilie Lamport提出了一种新的逻辑,即行为时序逻辑（TLA）理论体系,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达程序与属性。文中介绍了ARP协议,用基于行为时序逻辑TLA的建模语言TLA＋对ARP协议进行建模分析。构造了一个ARP欺骗的攻击者模型,用基于TLA的模型检测工具
Abstract:
With the development of computer network,more and more people are paying attention to the security of network.The ARP attacking is a very special mode of network attacking,it will destroy the data of host computer.In recent years,a foreign researcher,Lesi

相似文献/References:

[1]潘晓君.基于缓存超时的ARP欺骗攻击协议的研究[J].计算机技术与发展,2009,(10):167.
　PAN Xiao-jun.Research of ARP Spoofing Attack Protocol Based on Cache Overtime[J].,2009,(06):167.
[2]夏磊 杨善林 褚伟.基于Libpcap的局域网ARP攻击与防御系统[J].计算机技术与发展,2009,(03):164.
　XIA Lei,YANG Shan-lin,CHU Wei.ARP Attacks and Defense System Based on Libpcap[J].,2009,(06):164.
[3]赵晓峰 汪精明 王平水.园区网ARP欺骗攻击防御模式设计与实现[J].计算机技术与发展,2007,(07):152.
　ZHAO Xiao-feng,WANG Jing-ming,WANG Ping-shui.Design and Implementation of Defense System for ARP Spoofing in Campus Network[J].,2007,(06):152.
[4]王晓妮,韩建刚.基于免疫网络的ARP攻击防御方案研究与实施[J].计算机技术与发展,2019,29(04):95.[doi:10. 3969 / j. issn. 1673-629X. 2019. 04. 020]
　WANG Xiao-ni,HAN Jian-gang.Research and Implementation of ARP Attack and Defense Scheme Based on Immune Network[J].,2019,29(06):95.[doi:10. 3969 / j. issn. 1673-629X. 2019. 04. 020]

备注/Memo

备注/Memo:
美国GeneChiu基金资助项目（GFC2006-001）李元（1974-），男，实验员，研究方向为计算机网络；李祥，教授，研究方向为信息安全、计算复杂性、模型检测。
更新日期/Last Update: 1900-01-01