|国家科技期刊平台
| 注册
首页|期刊导航|信息工程大学学报|一种基于逻辑编程的防火墙规则形式化分析方法

一种基于逻辑编程的防火墙规则形式化分析方法

李鼎 鲁柯 周保群 赵彬

信息工程大学学报2009，Vol.10Issue(2)：195-199,5.
✕
信息工程大学学报2009，Vol.10Issue(2)：195-199,5.

一种基于逻辑编程的防火墙规则形式化分析方法

Logic Programming Based Formal Analysis Method of Firewail Rules

李鼎 1鲁柯 2周保群 1赵彬1

作者信息

  • 1. 信息工程大学电子技术学院,河南,郑州,450004
  • 2. 河南预备役136师,河南,开封,475004
  • 折叠

摘要

关键词

防火墙规则/逻辑编程/冲突检测

分类

信息技术与安全科学

引用本文复制引用

李鼎,鲁柯,周保群,赵彬..一种基于逻辑编程的防火墙规则形式化分析方法[J].信息工程大学学报,2009,10(2):195-199,5.

基金项目

军队科研基金资助项目 （）

信息工程大学学报

OACSCD

1671-0673

访问量0
|
下载量0
段落导航相关论文