A Formalized Packet-filtering Model in TCP/IP Protocol Suite

Abstract

Abstract: A formalized packet-filtering model is presented in this paper. By using this model, the author implemented the packet-filtering software on FreeBSD operating system. Some application and effectiveness of this model are also discussed.

摘要： 介绍了一种分组过滤的形式化模型,讨论了分组过滤在FreeBSD上的实现以及分组过滤模型在实际编码中的一些应用,并解释了该模型在实现上的有效性。

关键词: 分组过滤, 形式化模型, 函数, 防火墙

CLC Number:

TP393.08

CHEN Jie, XIONG Yunfeng, YANG Yuhang. A Formalized Packet-filtering Model in TCP/IP Protocol Suite[J]. , 2001, 27(10): 140-.

陈捷,熊云凤,杨宇航. TCP/IP协议中一种形式化的分组过滤模型[J]. , 2001, 27(10): 140-.

[1]	ZHU Wenfeng, WANG Qin, GUO Zheng, LIU Junrong. Research on Attacks Method for Block Ciphers [J]. Computer Engineering, 2020, 46(1): 102-107,113.
[2]	HOU Fangjie,WANG Lei,WANG Song,SHENG Jie. Position-based automated protocol reverse analysis method on network flows [J]. Computer Engineering, 2019, 45(5): 84-87.
[3]	WEI Fang,ZOU Zhige. RFID Tag Group Ownership Transfer Protocol Satisfying Backward Security [J]. Computer Engineering, 2019, 45(4): 136-141.
[4]	WANG Hui,WANG Yincheng,LU Shikai. Attack Path Optimization Algorithm Based on Time Gain Compensation Rate [J]. Computer Engineering, 2018, 44(8): 184-191,198.
[5]	WANG Hui,LU Shikai,WANG Yincheng. Intrusion Prediction Algorithm Based on Correlation Attack Graph [J]. Computer Engineering, 2018, 44(7): 131-138.
[6]	WANG Yan,LIU Jiayong,LIU Liang,JIA Peng,LIU Luping. Research on Vulnerability Utilization Tool Development Framework [J]. Computer Engineering, 2018, 44(3): 127-131.
[7]	ZUO Xiaojun,DONG Limian,QU Wu. Fast-Flux Botnet Detection Method Based on Domain Name System Traffic [J]. Computer Engineering, 2017, 43(9): 185-193.
[8]	LU Siyan,LAN Shaohua. A Construction Method of Covert Channel Based on File Storage Distribution [J]. Computer Engineering, 2017, 43(9): 199-204.
[9]	LAN Geng,LIU Daowei. Group RFID Tag Ownership Transfer Protocol Based on Word Synthesis Operation [J]. Computer Engineering, 2017, 43(8): 151-155.
[10]	SHEN Yuan,GAO Ling,GAO Ni,WANG Fan. Hierarchical Attribute Reduction Model for Intrusion Detection Based on Cultural Algorithm [J]. Computer Engineering, 2017, 43(7): 175-181.
[11]	PENG Yanbin,TIAN Ye,PENG Xinguang. An End-to-End Lightweight Authentication Protocol for Medical Wireless Body Area Network [J]. Computer Engineering, 2017, 43(6): 73-77.
[12]	MAO Qianren,WANG Chaobin,BAO Xiao’an,LI Yanmei. Research on Guidance Mechanism of Internet Public Opinion Based on Cellular Automaton Model [J]. Computer Engineering, 2017, 43(6): 105-110,117.
[13]	HU Jipeng,TAN Li,YANG Minghua,ZHANG Yaming. A User Behavior Measurement Method Based on Trusted Cryptography Module [J]. Computer Engineering, 2017, 43(5): 121-128.
[14]	LIU Xinliang,DU Ruiying,CHEN Jing,WANG Chiheng,YAO Shixiong,CHEN Jiong. Security Threat and Defense Method for SSL/TLS Protocol Session Key [J]. Computer Engineering, 2017, 43(3): 147-153.
[15]	LIU Weiming,GAO Xiaodong,MAO Yimin,ZHOU Zhaofei. Research and Application of Uncertain Genetic Neural Network in Landslide Hazard Prediction [J]. Computer Engineering, 2017, 43(2): 308-316.

Please choose a citation manager

Content to export