检索结果-内蒙古大学图书馆

西安电子科技大学学报 2020年第4期47卷 117-123页

作者：黄昱铭马建峰刘志全冯丙文魏凯敏暨南大学信息科学技术学院广东广州510632 西安电子科技大学网络与信息安全学院陕西西安710071 中国科学院信息工程研究所信息安全国家重点实验室北京100093 广东省信息安全技术重点实验室广东广州520006 广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室广东深圳518060

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进... 详细信息

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。

关键词：自动程序修复基于规则静态分析测试集

来源：评论

学校读者我要写书评

暂无评论

轻量级无线射频识别认证协议的改进

引用

计算机工程 2012年第14期38卷 5-7,12页

作者：金永明辛伟孙惠平陈钟北京大学信息科学技术学院网络与信息安全实验室北京100871 教育部高可信软件技术重点实验室北京100871 北京大学软件与微电子学院北京100871

Kardas等人提出的轻量级无线射频识别(RFID)认证协议(2011年LightSec会议论文集)若遭遇侧信道分析、物理刺探等攻击会导致密钥泄漏,从而使整个协议认证失败。为此,通过将四步认证改为三步认证、引入密钥恢复机制以及改进密钥的使用方式... 详细信息

Kardas等人提出的轻量级无线射频识别(RFID)认证协议(2011年LightSec会议论文集)若遭遇侧信道分析、物理刺探等攻击会导致密钥泄漏,从而使整个协议认证失败。为此,通过将四步认证改为三步认证、引入密钥恢复机制以及改进密钥的使用方式,使协议效率提高,并且便于在多标签环境中扩展。理论分析结果表明,新协议可以防止读写器与标签之间产生异步,抵抗伪造攻击、重放攻击、消息阻塞攻击、中间人攻击,与原方案相比,认证效率更高。

关键词：认证协议轻量级无线射频识别物理防克隆函数线性反馈移位寄存器

来源：评论

学校读者我要写书评

暂无评论

开放网络主观信任管理研究

开放网络主观信任管理研究

引用

2003信息保密专业委员会学术年会

作者：唐文陈钟北京大学信息科学技术学院网络与信息安全实验室

在开放网络环境中,信任管理是信息安全的重要基础.本文对主观信任关系的模糊性进行了考察,运用模糊集合理论对主观信任管理问题进行了建模,给出了主观信任的形式化描述,对信任类型的定义机制进行了讨论,提出了信任关系的推导规则,构造... 详细信息

在开放网络环境中,信任管理是信息安全的重要基础.本文对主观信任关系的模糊性进行了考察,运用模糊集合理论对主观信任管理问题进行了建模,给出了主观信任的形式化描述,对信任类型的定义机制进行了讨论,提出了信任关系的推导规则,构造了一个适合于开放网络环境的主体信任管理模型,为开放网络环境中的信任管理研究提供了一个有价值的新思路.

关键词：信任管理主观信任模糊集合理论开放网络网络安全

来源：评论

学校读者我要写书评

暂无评论

CPK算法走向国际——2007欧密会纪事

引用

信息安全与通信保密 2007年第7期29卷 15-16页

作者：关志北京大学信息科学技术学院信息安全实验室

欧密会概况今年的欧密会Eurocrypt 2007是第23届，会议在西班牙的海滨城市巴塞罗那市中心西班牙广场的巴塞罗那大酒店举行。除了国际密码学会IACR之外，会议的合作主办方还包括西班牙加泰罗尼亚理工大学（UPC）的应用密码研究组，以及UM... 详细信息

欧密会概况今年的欧密会Eurocrypt 2007是第23届，会议在西班牙的海滨城市巴塞罗那市中心西班牙广场的巴塞罗那大酒店举行。除了国际密码学会IACR之外，会议的合作主办方还包括西班牙加泰罗尼亚理工大学（UPC）的应用密码研究组，以及UMA的信息安全研究组。会议的程序主席由Moni Naor担任，联合主席由Javier L o pez和Germ a n S a ez担任。

关键词：国际 CPK 算法巴塞罗那西班牙海滨城市信息安全市中心

来源：评论

学校读者我要写书评

暂无评论

一种社交网络虚假信息传播控制方法

引用

计算机研究与发展 2012年第S2期49卷 131-137页

作者：王永刚蔡飞志 Eng Keong Lua 胡建斌陈钟高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 莫纳什大学信息技术学院

针对社交网络中日渐泛滥的虚假信息,提出了一种社交网络虚假信息传播控制方法Fidic,针对社交网络中虚假信息传播时途经的用户序列,该方法基于PageRank的思想并结合用户传播虚假信息时的指向关系来对用户进行评级,用户的评级越高表明其... 详细信息

针对社交网络中日渐泛滥的虚假信息,提出了一种社交网络虚假信息传播控制方法Fidic,针对社交网络中虚假信息传播时途经的用户序列,该方法基于PageRank的思想并结合用户传播虚假信息时的指向关系来对用户进行评级,用户的评级越高表明其在虚假信息传播过程中起到的作用越大.该方法通过控制高评级用户的传播行为从而缩小虚假信息传播的覆盖面,最终达到遏制甚至消除虚假信息传播的目的.实验证明该方法既可以获得较高的精度,而且方便可行,具有较高实用价值.

关键词：社交网络虚假信息 PageRank 传播控制

来源：评论

学校读者我要写书评

暂无评论

APT发展趋势研究漫谈

引用

信息安全与通信保密 2012年第7期10卷 16-16,21页

作者：李青山北京大学信息科学技术学院信息安全实验室

高级持续威胁（AdvancedPersistentThreat，APT），是针对特定组织的多方位、持续性的渗透攻击。APT不是一种单一的攻击手段，而是多种攻击手段的组合，因此无法通过单一的防护手段进行阻止和防御。

关键词： APT 发展趋势攻击手段防护手段多方位持续性防御

来源：评论

学校读者我要写书评

暂无评论

多目标量化变分滤波贝叶斯WSN跟踪定位算法

引用

四川大学学报（自然科学版） 2015年第6期52卷 1237-1243页

作者：张睿敏陈钟李晓斌兰州工业学院软件工程学院兰州730050 北京大学信息科学技术学院北京100871 北京大学网络与软件安全保障教育部重点实验室北京100871

为进一步提高无线传感器网络节点跟踪定位精度降低能耗,提出一种多目标拥挤度差分优化的贝叶斯量化变分滤波预估WSN跟踪定位算法.首先,针对定位问题,采用贝叶斯量化变分滤波方法对目标下一位置区域进行预测,利用量化变分滤波方式选取合... 详细信息

为进一步提高无线传感器网络节点跟踪定位精度降低能耗,提出一种多目标拥挤度差分优化的贝叶斯量化变分滤波预估WSN跟踪定位算法.首先,针对定位问题,采用贝叶斯量化变分滤波方法对目标下一位置区域进行预测,利用量化变分滤波方式选取合适的定位参与节点,并设计了量化变分滤波的多目标参数优化模型.其次,针对传统多目标优化算法寻优精度不高的问题,设计了基于种群个体拥挤度状况的多目标差分进化算法,对量化变分滤波算法参数进行优化,实现了滤波参数的多目标优化.最后,通过实验仿真表明,该算法能够有效实现目标节点的跟踪定位,并可节省能量消耗.

关键词：贝叶斯多目标优化差分进化无线传感器网络跟踪定位

来源：评论

学校读者我要写书评

暂无评论

PS-PPF:一个基于代理签名簇的VANETs隐私保护框架

引用

计算机科学 2012年第11期39卷 19-23页

作者：杨涛万纯胡建斌陈钟北京大学高可信软件技术教育部重点实验室北京100871 北京大学网络与软件安全保障教育部软件重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

车辆自组网(VANETs)是一种物联网在智能交通领域的重要应用形态,近年来已经成为学术界和工业界共同研究的重点。VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护的文献逐渐成为研... 详细信息

车辆自组网(VANETs)是一种物联网在智能交通领域的重要应用形态,近年来已经成为学术界和工业界共同研究的重点。VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护的文献逐渐成为研究的一个热点,涌现了一大批研究成果,这些成果对VANETs的实用化具有重要意义。代理签名是现实世界中应用领域非常广泛的一种数字签名技术。在不同的场景下,代理签名有大量的变体,其可形成一个代理签名簇。提出了一个基于代理签名簇的VANETs隐私保护框架(PS-PPF);在VANETs系统体系架构层面上提出了一个面向实用的VANETs隐私保护框架;划分了4个级别设置;分析了7个关键角色;探讨了4个关键代理签名:条件隐私保护型代理签名、身份认证授权型代理签名、防追溯滥用授权型代理签名、业务前置授权型代理签名。该框架不仅能对车辆身份隐私和位置隐私进行安全保护,还具备良好的实际部署能力和可扩展能力。最后,指出了一些该框架的实际扩展说明。PS-PPF可用于规范和指导实际运营系统的规划和建设。据悉,这是第一个面向实用的基于代理签名簇的VANETs隐私保护框架设计方案。

关键词：车辆自组网代理签名代理签名簇隐私保护车辆单元路边单元

来源：评论

学校读者我要写书评

暂无评论

车辆自组网隐私保护研究综述

引用

计算机研究与发展 2012年第S2期49卷 178-185页

作者：杨涛孔令波胡建斌陈钟高可信软件技术教育部重点实验室(北京大学) 北京100871 网络和软件安全保障教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 北京交通大学软件学院北京100044

车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护逐渐成为研究的一... 详细信息

车辆自组网(VANETs)是物联网在智能交通领域的一种重要应用形态,近年来已经成为了学术界和工业界的共同研究重点.VANETs具有诱人的发展前景,但其应用受到安全性和隐私保护的严格制约,因此有关VANETs的安全性和隐私保护逐渐成为研究的一个热点,涌现了一大批研究成果.通过对VANETs安全与隐私保护的研究进行综述,对VANETs安全相关的概念、特点和模型进行说明和分类,提出了安全威胁和安全需求,介绍了该领域的研究现状,并对比分析了部分典型方案,指出了本领域未来的研究重点和发展方向.

关键词：车辆自组网隐私保护条件隐私 VANETs DSRC

来源：评论

学校读者我要写书评

暂无评论

聚合签名及其应用研究综述

引用

计算机研究与发展 2012年第S2期49卷 192-199页

聚合签名是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中,对聚合签名的研究具有重要意义.通过对聚合签名的研究进行综述,对聚合签名相关的概念、特点进行说明和分类,提出安全需求和安全模型,阐述了研究现状,并... 详细信息

聚合签名是近些年来学术界关注的一个数字签名热区,经常出现在顶级密码会议论文中,对聚合签名的研究具有重要意义.通过对聚合签名的研究进行综述,对聚合签名相关的概念、特点进行说明和分类,提出安全需求和安全模型,阐述了研究现状,并重点介绍部分典型方案,还指出了本领域未来的研究方向.为了强调聚合签名的适应性,特别列举了在现实生活里聚合签名的多种应用方式:分级PKI中的证书链、RFID物品追踪、无线传感器网络(WSN)的安全路由协议、WSN网络数据融合、安全邮件、电子现金和安全交易、数据库外包、动态内容分发、车联网信息聚合、日志审计、云计算和分布式系统等诸多领域.

关键词：聚合签名有序聚合签名基于身份的聚合签名无证书聚合签名同步聚合签名

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：