陆炜

作品数:2被引量:14H指数:2
导出分析报告
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题:控制流异常检测安全评估模型信息系统更多>>
发文领域:自动化与计算机技术更多>>
发文期刊:《计算机应用与软件》《软件学报》更多>>
所获基金:江苏省自然科学基金国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-2
视图:
排序:
信息安全评估模型的研究与实现被引量:6
《计算机应用与软件》2007年第11期5-8,共4页周国强 陆炜 曾庆凯 
国家自然科学基金(60473053);国家863计划(2004AA147070);江苏省自然科学基金(BK2005074);国家自然科学基金(60503020)资助
提出一个信息技术安全评估模型。通过对安全测试评估的内容和功能的研究分析,给出了安全评估模型和安全评估平台的体系结构,介绍了系统实现情况。本评估模型具有对安全测试和评估过程进行组织、管理和调度等功能,并具有通用性、集成性...
关键词:信息系统 通用准则 安全评估模型 平台体系结构 
一种基于控制流的程序行为扩展模型被引量:8
《软件学报》2007年第11期2841-2850,共10页陆炜 曾庆凯 
Nos.60473053;60773170(国家自然科学基金);Nos.2004AA147070;2006AA01Z432(国家高技术研究发展计划(863));No.BK2005074(江苏省自然科学基金)~~
提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质约束,增强了模型的监控能力;通过以实际应用区分系统调用...
关键词:程序行为模型 异常检测 控制流 不变性约束 系统调用 
检索报告 对象比较 聚类工具 使用帮助 返回顶部