国家自然科学基金(60102004)
- 作品数：4 被引量：65H指数：2
- 相关作者：张玉清李星李晓峰吴建平薛纪文更多>>
- 相关机构：清华大学西安工程科技学院中国科学院研究生院更多>>
- 发文基金：国家自然科学基金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Linux 2.4内核防火墙底层结构分析被引量：50
- 2002年
- Linux是常用的防火墙操作平台,作者对Linux新的2.4内核防火墙底层结构(Netfilter)和功能进行了详尽分析,分析和总结了Netfilter结构在Linux防火墙中的地位和作用,并以实例说明如何运用Netfilter来进行Linux防火墙的功能扩充。
- 李晓峰张玉清李星
- 关键词：LINUX2.4内核防火墙网络层
- 运行模式法分析TW密码协议被引量：2
- 2005年
- 在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性。
- 王春玲唐志坚张玉清薛纪文
- 关键词：形式化分析
- BAN类逻辑的由来与发展被引量：13
- 2002年
- BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。该文介绍了 BAN逻辑的产生、成分和分析步骤 ,进而全面指出了 BAN逻辑的缺陷 ,由此而产生的改进的 BAN逻辑和现状 ,从而对 BAN类逻辑作了全面的回顾与展望 ,并得出结论 :BAN类逻辑仍然是密码协议分析和设计的主要工具 ,但理想化步骤是 BAN类逻辑的致命缺陷。指出了 BAN类逻辑研究工作的展望。
- 张玉清吴建平李星
- 关键词：密码协议BAN类逻辑形式化分析方法
- IPv6防火墙ip6tables过滤规则配置的图形界面设计
- 2002年
- IPv6的逐渐流行,将带来头痛的IPv6网络安全问题。Linux2.4内核中自带了IPv6防火墙软件———ip6tables,它以命令行的规则配置方式提供了齐全的IPv6过滤功能。但ip6tables的命令行方式,对用户来说使用非常不便,同时使得过滤规则的扩充和修改也极为繁琐。为了更为有效地配置IPv6防火墙过滤规则,笔者针对ip6tables设计了一个用过滤规则配置的图形界面,从而可以方便快捷地应用功能强大的ip6tables。
- 李晓峰张玉清李星
- 关键词：IPV6协议防火墙图形界面计算机网络
