国家自然科学基金(60473057)
- 作品数：17 被引量：50H指数：4
- 相关作者：李舟军周倜李梦君陈火旺郭华更多>>
- 相关机构：国防科学技术大学北京航空航天大学北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种网格中的时间相关双层信任模型
- ＜正＞1 引言网格的分布性、动态性、异构性和可扩展性对网格安全（Grid Security）提出了一系列挑战。网格在实现计算资源、存储资源、数据资源、信息资源、知识资源和专家资源全面共享的同时,也带来了许多
- 余杰李舟军李梦君
- 关键词：TRUST
- 文献传递
- 一种改进的基于关系的信息检索技术被引量：4
- 2008年
- 有研究工作表明现有的基于关系的信息检索技术(RIR)优于基于项(term)或基于语义(concept)的IR技术,但仍存在显而易见的缺陷,即不能明确关系本身,只能表达概念A,B是存在关系的概念对。本文提出一种改进的基于关系的IR技术—IRIR(Improved Relation-based Information Retrieval),就是要明确关系的取值和属性,整合概念对和关系的信息为三元组表达式(triple),通过以下匹配方法获取未知信息。对于文本中出现的知识表示为R(rela-tion)[First Concept,Second Concept],对于疑问代词(如what)开头的查询表达为R(relation)[First Concept,Un-known],对于疑问副词(如how)开头的查询表达为R(Unknown)[First Concept,Second Concept],当文本与查询的三元组表达式中已知部分匹配一致时,则得到查询未知部分的一个取值。由此,既可以实现类似QA(query answer)功能,又可以完成精确信息检索。基于Drexel大学DM&Bioinformatics Lab开发的生物医学文献搜索引擎(2004版,简称为RIRS),我们开发了一个能实现IRIR技术和功能的实验IR引擎—IRIRS(Improved Relation-Based IR Sys-tem),该系统使用UMLS和WordNet两大权威本体库分别确定概念和关系,在博士入学考试英语阅读理解测试集上的实验结果令人满意,IRIRS将文字段级别的检索精确度MA PP(Mean average passage precision)从RIRS的64.44%提高到74.28%。这表明,在IR中应用改进的基于关系的信息检索技术是非常具有探索价值的。
- 李岩文健李舟军
- 关键词：信息检索关系抽取查询分析
- 一个高隐蔽性的Windows Rootkit系统的设计与实现
- 性是计算机秘密取证软件和恶意代码赖以维持其对宿主计算机监控的首要性质.而Rootkit技术则可以满足软件对隐蔽性的需求.本文设计并实现了一个基于驱动模块整体移位、内核线程注入、IRP深度内联Hook、NDIS Hook技...
- 龚广李舟军李智鹏忽朝俭
- 关键词：ROOTKITNDISHOOK
- 国际卡收单系统的安全解决方案被引量：1
- 2008年
- 针对国际卡收单系统存在的安全性和EMV迁移问题,从信息安全工程角度,描述密钥管理、认证过程和加密机的应用。从系统架构、应用软件、硬件设备和运维管理这几方面,提出国际卡收单系统的安全解决方案。理论分析和实践证明,该软件、硬件和管理相结合的安全解决方案,具有安全性高、适应能力强的特点。
- 林松李舟军
- 关键词：密钥管理
- Z&G协议公平性的形式化验证
- 2008年
- Zhou和Gollmann设计的公平非否认协议(Z&G协议)旨在为电子商务交易的双方提供非否认证据和公平性。提出一种基于状态转换的方法对其公平性进行分析。与以往方法不同,它是一种针对电子商务协议的专门分析工具:用状态转换系统为电子商务系统建模;用基于状态的形式系统描述协议,将协议的信任假设显式表示为协议的一部分。该方法按进程是否背离协议或者背离协议的程度将协议在系统中的执行序列定义为三类模式:遵守型、欺骗型和中断型。验证了Z&G协议在三种模式下的执行序列都满足公平性。
- 龚德良殷建平詹宇斌
- 基于模型检测的多轮FR协议验证被引量：1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词：电子商务协议时间自动机UPPAAL
- Windows Rootkit检测技术的研究与实现
- ndows系统下,越来越多的恶意软件使用rootkits来逃避安全软件的检测和清除,Windows rootkit检测成为网络安全领域中亟待解决的重要问题.本文通过分析rootkits隐藏的实现原理,提出了将完整性检测和...
- 邹蕴珂李舟军忽朝俭
- 关键词：网络安全ROOTKITROOTKIT检测
- 一种基于哈希链表的高效概念漂移连续属性处理算法被引量：1
- 2008年
- 本文重点研究了数据流挖掘中存在概念漂移情形的连续属性处理算法。数据流是一种增量、在线、实时的数据模型。VFDT是数据流挖掘中数据呈稳态分布情形下最成功的算法之一;CVFDT是有效解决数据流挖掘中概念漂移问题的算法之一。基于CVFDT,本文提出了有效地解决数据流挖掘中存在概念漂移情形的连续属性处理问题的扩展哈希表算法HashCVFDT。该算法在属性值插入、查找和删除时具有哈希表的快速性,而在选取每个连续属性的最优化划分节点时解决了哈希表不能有序输出的缺点。
- 王涛李舟军颜跃进
- 关键词：数据流挖掘概念漂移
- 基于Horn逻辑扩展模型的时间敏感安全协议验证
- 2006年
- 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件.
- 周倜李梦君李舟军陈火旺
- 关键词：安全协议形式化验证
- 一种跨站脚本漏洞检测系统的设计与实现
- Web服务的集成性和公开性,针对Web应用的攻击呈逐年上升趋势,而最大的威胁来自跨站脚本漏洞.本文介绍了跨站脚本的基本概念以及传统的检测技术,并提出了一种基于模糊测试的跨站脚本漏洞检测技术,其主要特点是通过采用网络爬虫以...
- 侯丹青李舟军邹蕴珂
- 关键词：跨站脚本漏洞网络爬虫
