国家自然科学基金(60973105)
- 作品数：4 被引量：9H指数：2
- 相关作者：李舟军张亚军廖湘科周晓娟郭华更多>>
- 相关机构：北京航空航天大学国防科学技术大学河南经贸职业学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 对一个基于身份的密钥协商协议的分析与改进被引量：3
- 2010年
- 根据2007年王圣宝等人提出的一类基于身份的密钥协商协议的特点,对私钥泄漏模仿攻击的分类进行了扩充,之后具体分析了王等人的协议,发现该协议不能抵抗扩充的私钥泄漏模仿攻击。进一步分析了存在攻击的原因,并对协议进行了改进,最后对改进后的协议的安全性质进行了分析。
- 郭华张帆李舟军周晓娟
- 关键词：认证密钥协商协议双线性配对
- 基于哈希表结构和图像分割的快速图像标注
- 2013年
- 为了快速、准确地标注大型图像数据集中的图片,提出了一种利用图像分割和基于kNN(k-nearest neighbor)图的半监督学习来标注图像的算法.该算法先将图像分割为若干个局部区域,使用局部敏感的哈希表来构建图像局部区域的kNN图,并基于图像局部区域的kNN图来构建原始图像的kNN图,利用基于图的半监督标签传递算法来标注未标注的图像.在具有269 648张图像的大型图像数据集NUS-WIDE和具有5 000张图像的Corel数据集上的实验结果表明,该算法能获得较快的标注速度和标注精度.
- 兰远东邓辉舫陈涛
- 关键词：半监督学习图像标注哈希表方向梯度直方图
- 安全协议逻辑程序不停机性快速预测的动态方法
- 2011年
- 基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不终止的预测方法,该方法能够根据新产生的解形式逻辑规则,预测不动点计算的不终止性,同时定位模型中导致解形式不动点无穷计算的解形式逻辑规则.解形式不动点不停机性的预测结果将作为选择精确验证方法或者抽象验证方法验证安全协议的基本依据.相关实验结果表明文中给出的预测算法是高效的.
- 周倜李梦君李舟军
- 关键词：安全协议
- 自动化白盒模糊测试技术研究被引量：6
- 2014年
- 软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。
- 张亚军李舟军廖湘科蒋瑞成李海峰
