国家自然科学基金(90718017)
- 作品数：11 被引量：48H指数：4
- 相关作者：李舟军周倜张振领贾仰理李梦君更多>>
- 相关机构：北京航空航天大学国防科学技术大学聊城大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- Windows Rootkit检测技术的研究与实现
- ndows系统下,越来越多的恶意软件使用rootkits来逃避安全软件的检测和清除,Windows rootkit检测成为网络安全领域中亟待解决的重要问题.本文通过分析rootkits隐藏的实现原理,提出了将完整性检测和...
- 邹蕴珂李舟军忽朝俭
- 关键词：网络安全ROOTKITROOTKIT检测
- 时间行为协议状态空间约减算法
- 2012年
- 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。
- 张振领贾仰理李舟军
- 国际卡收单系统的安全解决方案被引量：1
- 2008年
- 针对国际卡收单系统存在的安全性和EMV迁移问题,从信息安全工程角度,描述密钥管理、认证过程和加密机的应用。从系统架构、应用软件、硬件设备和运维管理这几方面,提出国际卡收单系统的安全解决方案。理论分析和实践证明,该软件、硬件和管理相结合的安全解决方案,具有安全性高、适应能力强的特点。
- 林松李舟军
- 关键词：密钥管理
- 安全协议逻辑程序不停机性快速预测的动态方法
- 2011年
- 基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不终止的预测方法,该方法能够根据新产生的解形式逻辑规则,预测不动点计算的不终止性,同时定位模型中导致解形式不动点无穷计算的解形式逻辑规则.解形式不动点不停机性的预测结果将作为选择精确验证方法或者抽象验证方法验证安全协议的基本依据.相关实验结果表明文中给出的预测算法是高效的.
- 周倜李梦君李舟军
- 关键词：安全协议
- 一种跨站脚本漏洞检测系统的设计与实现
- Web服务的集成性和公开性,针对Web应用的攻击呈逐年上升趋势,而最大的威胁来自跨站脚本漏洞.本文介绍了跨站脚本的基本概念以及传统的检测技术,并提出了一种基于模糊测试的跨站脚本漏洞检测技术,其主要特点是通过采用网络爬虫以...
- 侯丹青李舟军邹蕴珂
- 关键词：跨站脚本漏洞网络爬虫
- TCBV:一种构件时序行为建模与相容性验证工具
- 2012年
- 利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。
- 张振领贾仰理周恩光李舟军
- 关键词：形式化方法
- 一种基于移动服务器端的树图建模方法
- 2011年
- 移动业务多媒体化和互联网化是移动服务发展的重要方向,但是高数据传输率的多媒体服务成本极高,在不增加硬件投入的前提下,为了降低成本,同时又不降低为用户提供服务的质量,可以将个性化服务应用于移动业务中。提出一种工作在服务器端的树图模型,它将移动终端用户的个性化需求与待推荐的互联网信息资源有机地联系在一起,以组织多播推送。引入区间值模糊集理论,给出建立树图模型的一系列相关定义及公式,在对该方法进行理论分析的基础上,设计了树图节点的建立与更新算法。理论分析证明,该算法具有确定性、能行性并且复杂性低的特点。
- 刘炜李舟军
- 关键词：个性化服务区间值模糊集
- 基于协议的实时构件行为一致性验证被引量：2
- 2012年
- 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。
- 张振领贾仰理谢圣献李舟军
- 关键词：形式化描述
- 一个高隐蔽性的Windows Rootkit系统的设计与实现
- 性是计算机秘密取证软件和恶意代码赖以维持其对宿主计算机监控的首要性质.而Rootkit技术则可以满足软件对隐蔽性的需求.本文设计并实现了一个基于驱动模块整体移位、内核线程注入、IRP深度内联Hook、NDIS Hook技...
- 龚广李舟军李智鹏忽朝俭
- 关键词：ROOTKITNDISHOOK
- 中文社区问答中问题答案质量评价和预测被引量：27
- 2011年
- 知识共享型网站为自动问答系统带来了新的研究契机。但用户提供的问题及其答案质量参差不齐,在提供有用信息的同时可能包含各种无关甚至恶意的信息。对此类信息进行判别和过滤,并选取高质量的问题与答案对,有助于在基于社区的自动问答系统中重用相关问题的答案以提高问答系统的服务质量。首先从中文社区问答网站上抓取大量问题及答案,利用社会网络的方法对提问者和回答者的互动关系及特点进行了统计与分析。然后基于给定的问答质量判定标准,对3000多个问题及其答案进行了人工标注。并通过提取文本和非文本两类特征集,利用机器学习算法设计和实现了基于特征集的问答质量分类器。试验结果表明其精度和召回率均在70%以上。最后分析了影响社区网络中问答质量的主要因素。
- 李晨巢文涵陈小明李舟军
- 关键词：社会网络
