国家高技术研究发展计划(2003AA144150)

作品数：12被引量：57H指数：4
导出分析报告
相关作者：刘利军李先贤卓继亮怀进鹏刘庆云更多>>
相关机构：北京航空航天大学更多>>
相关期刊：《计算机应用研究》《计算机安全》《计算机学报》《计算机研究与发展》更多>>
相关主题：安全审计安全协议分布式系统协同分析系统设计更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式安全审计模型的研究与系统设计被引量：7
《计算机工程》2008年第4期170-172,175,共4页张浩亮 刘利军 
国家"863"计划基金资助项目(2003AA144150)
分布式安全审计正在日益成为保障大型分布式网络环境安全的重要机制。该文介绍了当前分布式安全审计系统的研究现状,分析和归纳了现有研究在协同审计等方面存在的突出问题,根据知识协同思想设计基于行为特征描述的分布式安全审计模型。...
关键词：分布式系统 安全审计 协同分析 
一种分布式安全审计模型研究与系统设计被引量：2
《计算机安全》2007年第3期25-28,共4页张浩亮 刘利军 
国家"八六三"高技术研究发展计划基金资助(2003AA144150)。
分布式安全审计正在日益成为保障大型分布式网络环境安全的重要机制。该文介绍了当前分布式安全审计系统的研究现状,分析和归纳了现有研究在协同审计等方面存在的突出问题,根据知识协同的思想,设计了基于行为特征描述的分布式安全审计模...
关键词：分布式系统 安全审计 协同分析 
多类型安全系统协同机制的研究与实现被引量：3
《计算机工程》2006年第14期166-168,共3页刘庆云 杨超峰 刘利军 
国家"863"计划基金(2003AA144150)
为了综合不同的安全技术系统进行协同防护以增强整体防护能力,设计了一种统一的多类型安全系统协同机制,利用协同规则描述协同信息,信息总线传递协同数据,执行引擎完成协同操作,可以统一地支持多类型安全系统的协同功能的实现。实验结...
关键词：协同机制 协同规则 信息总线 
多层次网络安全强审计模型BrosaAudit被引量：4
《计算机工程》2006年第10期159-160,163,共3页杨超峰 刘庆云 刘利军 
国家"863"计划基金资助项目(2003AA144150)
提出了多层次网络安全强审计模型BrosaAudit,并根据该模型设计并实现了相应的ACT-NetAudit系统。和现有的网络安全审计系统相比,BrosaAudit模型及审计系统能够从不同的层次对网络安全状况进行更全面的审计,为发现和追踪安全事件提供了...
关键词：网络安全 安全模型 安全审计 
网格环境中跨异构域身份鉴别系统的研究与实现被引量：6
《计算机工程》2005年第22期67-69,112,共4页罗琛 李沁 马殿富 
国家自然科学基金资助项目(90412011);国家"863"计划基金资助项目(2003AA144150)
针对跨异构域的身份鉴别问题进行研究,设计并实现了一个身份映射和信任证转换系统CredFed(CredentialFederation),解决了分别使用PKI和Kerberos作为鉴别机制的异构域之间身份鉴别的问题。CredFed是目前唯一在网格环境中解决此问题的系统...
关键词：网格 异构域 PKI KERBEROS 鉴别 信任证 安全会话 信任证转换 
基于协议分析的WWW安全监控系统研究与实现被引量：3
《微机发展》2005年第11期4-6,10,共4页刘庆云 杨超峰 刘利军 
国家"八六三"计划基金资助(2003AA144150)
基于对协议分析技术的研究设计实现了一种WWW安全监控系统,弥补了许多现有同类系统的技术缺陷,利用会话重组、内容检查、协议解码等关键技术,实时检测各种包含敏感信息的WWW访问,并对非法访问的内容进行完整记录和重现,同时还能检测针对...
关键词：协议分析 WWW安全监控 内容检查 会话重组 
基于约束构造算法的密码协议安全性分析被引量：1
《中国科学（E辑）》2005年第10期1009-1030,共22页李先贤 怀进鹏 
国家自然科学基金重大资助项目(批准号:90412011);国家杰出青年科学基金;国家973重大基础研究计划(2005CB321803);国家"863"高技术研究发展计划(2003AA144150)资助项目
基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法,然而,由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性,密码协议的安全性分析是高度计算复杂性的难题.基于最近提出的密码协议代数(CPA)模型,采用代...
关键词：密码协议 形式化分析 安全性验证 约束构造算法 CPA模型 
安全协议的攻击分类及其安全性评估被引量：16
《计算机研究与发展》2005年第7期1100-1107,共8页卓继亮 李先贤 李建欣 怀进鹏 
国家自然科学基金项目(90412011);国家"八六三"高技术研究发展计划基金项目(2003AA144150)
对安全协议的安全性进行全面评估是十分重要的,但难度非常大.目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等.为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两...
关键词：安全协议 攻击分类 安全性评估 形式化方法 
NIDS中一种报警优化算法的研究与实现被引量：2
《计算机工程》2005年第4期79-81,174,共4页易国良 曹学武 刘利军 
国家"863"计划基金资助项目(2003AA144150)
提出了一种改进的基于二级决策内核的NIDS系统结构,设计了相应的报警优化过滤算法,并重点讨论了系统设计和实现中的核心问题和关键技术。实验结果表明,该工作在不影响IDS报警实时性的同时,减少了误报和滥报现象,提高了报警的准确性和合...
关键词：网络入侵检测 二级决策内核 报警优化系统结构 入侵检测交换协议 
SPA:新的高效安全协议分析系统被引量：6
《计算机学报》2005年第3期309-318,共10页李建欣 李先贤 卓继亮 怀进鹏 
国家自然科学基金(90412011);国家"八六三"高技术研究发展计划项目基金(2003AA144150)资助~~
研制高效的自动分析系统是密码协议安全性分析的一项关键任务,然而由于密码协议的分析非常复杂,存在大量未解决的问题,使得很多现有分析系统在可靠性和效率方面仍存在许多局限性.该文基于一种新提出的密码协议代数模型和安全性分析技术...
关键词：信息安全 密码协议 形式化分析 搜索算法 攻击序列 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部