作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2002, Vol. 28 ›› Issue (07): 146-148.

• 论文 • 上一篇    下一篇

TCP/IP协议中一种形式化的NAT模型

陈捷,宋治平,杨宇航   

  1. 上海交通大学,上海交通大学,上海交通大学 上海 200030
  • 发布日期:2002-07-25

A Formalized NAT Model in TCP/IP Protocol Suite

CHEN Jie, SONG Zhiping, YANG Yuhang   

  1. (Shanghai Jiaotong University, Shanghai 200030)
  • Published:2002-07-25

摘要: 介绍了一种的形式化模型,讨论了在上的实现以及模型在实际编码中的一些应用,解释了一些理解上的NATNATFreeBSDNATNAT误区,并说明了该模型在实现上的意义。

关键词: 网络地址转换, 流, 地址转换表, 应用层网关

Abstract: A formalized NAT model is presented in this paper.By using this model, the author implements the NAT software on FreeBSD operating system.Some applications and effectiveness of this model are also discussed. ;;;

中图分类号: