李鼎

作品数：3被引量：3H指数：1
导出分析报告
供职机构：解放军信息工程大学电子技术学院更多>>
发文主题：逻辑编程风险评估方法风险评估漏报误报更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《信息工程大学学报》《计算机应用与软件》《计算机应用研究》更多>>
所获基金：国防科技技术预先研究基金军队科研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用逻辑编程方法进行形式化的网络安全策略验证
《计算机应用与软件》2010年第5期78-82,共5页李鼎 周保群 赵彬 
国防教研基金重点资助项目(9140A26010306JB5201)
高级安全策略又称为安全需求,低级策略配置是高级策略的实现,正确的低级策略配置必须能够满足安全需求。网络安全取决于低级策略配置的正确性,由于策略配置异常复杂,并且缺乏准确描述安全需求的方法,这为策略的正确性分析提出了巨大的...
关键词：XSB逻辑编程系统 策略层次 策略验证 
一种基于逻辑编程的防火墙规则形式化分析方法
《信息工程大学学报》2009年第2期195-199,共5页李鼎 鲁柯 周保群 赵彬 
军队科研基金资助项目
防火墙作为网络安全体系的基础和核心控制设备,其作用的发挥取决于防火墙规则的正确配置。由于防火墙规则配置的复杂性,导致规则间可能存在冲突,使其不能满足安全目标。文章提出一种基于逻辑编程的防火墙规则形式化分析方法,将安全目标...
关键词：防火墙规则 逻辑编程 冲突检测 
利用关联和风险评估方法减少误报和漏报被引量：3
《计算机应用研究》2008年第10期3105-3107,共3页赵彬 王亚弟 李立新 李鼎 
国防预研基金重点资助项目(9140A26010306JB5201)
高误报和漏报率是入侵检测系统面临的主要问题。提出了一种利用关联和风险评估的方法,利用构建的安全关联模型,计算出每个安全事件(如告警事件、系统安全日志记录等)的实时风险值,对风险值较高的事件给出新的警告,并摈弃那些风险值较低...
关键词：入侵检测 关联 风险评估 误报 漏报 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部