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

通信学报 2014年第5期35卷 33-43页

作者：李强冯登国张立武中国科学院软件研究所可信计算与信息保障实验室北京100190

用户撤销是基于属性的认证密钥协商(ABAKA,attribute-based authenticated key agreement)协议在实际应用中所必需解决的问题。通过将Waters的基于属性的加密方案和Boneh-Gentry-Waters的广播加密方案相结合,提出了一个支持用户撤销的AB... 详细信息

用户撤销是基于属性的认证密钥协商(ABAKA,attribute-based authenticated key agreement)协议在实际应用中所必需解决的问题。通过将Waters的基于属性的加密方案和Boneh-Gentry-Waters的广播加密方案相结合,提出了一个支持用户撤销的ABAKA协议。该协议能够实现对用户的即时撤销且不需要密钥权威对所有未被撤销的用户私钥进行定期更新。相比于现有的协议,该协议具有较高的通信效率,并能够在标准模型和修改的ABCK模型下可证安全,具有弱的完美前向安全性,并能够抵抗密钥泄露伪装攻击。

关键词：认证密钥协商基于属性密钥撤销标准模型

来源：评论

学校读者我要写书评

暂无评论

一种抗混淆的大规模Android应用相似性检测方法

引用

计算机研究与发展 2014年第7期51卷 1446-1457页

作者：焦四辈应凌云杨轶程瑶苏璞睿冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190

随着代码混淆、加壳技术的应用,基于行为特征的Android应用相似性检测受到的影响愈加明显.提出了一种抗混淆的大规模Android应用相似性检测方法,通过提取应用内特定文件的内容特征计算应用相似性,该方法不受代码混淆的影响,且能有效抵... 详细信息

随着代码混淆、加壳技术的应用,基于行为特征的Android应用相似性检测受到的影响愈加明显.提出了一种抗混淆的大规模Android应用相似性检测方法,通过提取应用内特定文件的内容特征计算应用相似性,该方法不受代码混淆的影响,且能有效抵抗文件混淆带来的干扰.对5.9万个应用内的文件类型进行统计,选取具有普遍性、代表性和可度量性的图片文件、音频文件和布局文件作为特征文件.针对3种特征文件的特点,提出了不同内容特征提取方法和相似度计算方法,并通过学习对其相似度赋予权重,进一步提高应用相似性检测的准确性.使用正版应用和已知恶意应用作为标准,对5.9万个应用进行相似性检测实验,结果显示基于文件内容的相似性检测可以准确识别重打包应用和含有已知恶意代码的应用,并且在效率和准确性上均优于现有方案.

关键词：文件内容特征模糊散列感知特征安卓应用相似性抗混淆

来源：评论

学校读者我要写书评

暂无评论

移动社交应用的用户隐私泄漏问题研究

引用

计算机学报 2014年第1期37卷 87-100页

作者：程瑶应凌云焦四辈苏璞睿冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190

智能移动终端以其强大的处理能力和丰富的功能应用迅速得到普及,成为人们日常生活中存储和处理个人信息必不可少的工具.在众多的移动应用中,社交通信类应用致力于为人们提供便捷的日常通信服务,这类应用相比移动通信运营商提供的传统短... 详细信息

智能移动终端以其强大的处理能力和丰富的功能应用迅速得到普及,成为人们日常生活中存储和处理个人信息必不可少的工具.在众多的移动应用中,社交通信类应用致力于为人们提供便捷的日常通信服务,这类应用相比移动通信运营商提供的传统短消息服务更加经济实用,同时提供多媒体通信方式进一步增强用户的社交体验,从而迅速地被广泛接受.为了进一步巩固自身的用户群体,增加用户黏度,这类应用在其内部增添了一种称为"通讯录匹配"的功能.该功能能够向用户推荐其手机通讯录中已经注册过该应用的线下联系人为好友,从而帮助用户快速地将线下社交圈移植到应用线上.然而,用户在获得便利的同时也面临着潜在的隐私泄露风险.文中首次提出了一种独立于各移动智能平台的、能有效利用移动社交通信类应用的通讯录匹配功能实现大规模收集用户私人数据的方法,该方法能够收集到存储于目标应用服务器的用户个人资料,包括手机号码和虚拟应用账户资料以及两者之间的映射关系;其次,为了获取规模更大,内容更全面、更真实的用户资料,文本提出了基于多款社交通信类应用的跨应用整合分析方法以及针对不同应用来源的用户资料数据一致性与真实性分析;最后,在信息获取和分析方法的指导下,文中建立了利用上述漏洞的原型系统,进行了大规模数据实验,最终验证了上述方法的有效性和良好的可扩展性.

关键词：智能移动终端社交通信类应用隐私泄露移动社交网络隐私保护智能手机

来源：评论

学校读者我要写书评

暂无评论

SSL/TLS协议实现与部署安全研究综述

SSL/TLS协议实现与部署安全研究综述

引用

2015年全国电子认证技术交流大会

作者：张严张立武中国科学院软件研究所可信计算与信息保障实验室北京100190

SSL/TLS协议是目前通信安全和身份鉴别方面应用最为广泛的安全协议之一,对于保障当前信息系统的安全有着十分重要的作用.然而由于SSL/TLS协议的复杂性,使得应用系统在实现和部署SSL/TLS协议时,很容易出现代码实现漏洞、部署配置缺陷和... 详细信息

SSL/TLS协议是目前通信安全和身份鉴别方面应用最为广泛的安全协议之一,对于保障当前信息系统的安全有着十分重要的作用.然而由于SSL/TLS协议的复杂性,使得应用系统在实现和部署SSL/TLS协议时,很容易出现代码实现漏洞、部署配置缺陷和证书密钥管理问题等安全缺陷.这类实现安全问题在现实系统中经常发生,也造成了许多安全事件,影响了大批网络应用.因此,近年来SSL/TLS协议实现与部署安全受到了研究者的广泛关注.本文首先介绍了SSL/TLS协议的实现和部署现状及在实现中可能产生的安全问题:之后从代码实现安全、部署配置安全和SSL/TLS安全增强方案设计分析等方面对对近年来SSL/TLS协议进行了介绍;最后,对SSL/TLS实现安全研究现状进行了总结并讨论了未来可能的研究方向.

关键词：计算机网络 SSL协议 TLS协议通信安全

来源：评论

学校读者我要写书评

暂无评论

一种实用的基于eID的属性证明协议

一种实用的基于eID的属性证明协议

引用

2015年全国电子认证技术交流大会

作者：高志刚张立武中国科学院软件研究所可信计算与信息保障实验室北京100190

为了应对互联网安全危机,世界各国都加强了对于互联网上网民身份的管控.在我国,也开始推行网络电子身份标识(eID:electronic identity)技术.身份和属性证明是eID的两个重要功能.在本文中,提出了一种基于eID的属性证明方案.在该方案中,... 详细信息

为了应对互联网安全危机,世界各国都加强了对于互联网上网民身份的管控.在我国,也开始推行网络电子身份标识(eID:electronic identity)技术.身份和属性证明是eID的两个重要功能.在本文中,提出了一种基于eID的属性证明方案.在该方案中,属性权威为用户签发属性凭证,凭证中可以包含多个属性信息,用户可以在需要出示属性时可以仅出示部分属性而不泄露其他属性信息.与U-Prove等方案相比,本方案计算性能高,不限制属性的个数和顺序,具有很强的实用性.

关键词：计算机网络网络电子身份标识属性证明协议计算性能安全性

来源：评论

学校读者我要写书评

暂无评论

基于异常控制流识别的漏洞利用攻击检测方法

引用

通信学报 2014年第9期35卷 20-31页

作者：王明华应凌云冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049

为应对APT等漏洞利用攻击的问题,提出了一种基于异常控制流识别的漏洞利用攻击检测方法。该方法通过对目标程序的静态分析和动态执行监测,构建完整的安全执行轮廓,并限定控制流转移的合法目标,在函数调用、函数返回和跳转进行控制流转移... 详细信息

为应对APT等漏洞利用攻击的问题,提出了一种基于异常控制流识别的漏洞利用攻击检测方法。该方法通过对目标程序的静态分析和动态执行监测,构建完整的安全执行轮廓,并限定控制流转移的合法目标,在函数调用、函数返回和跳转进行控制流转移时,检查目标地址的合法性,将异常控制流转移判定为漏洞攻击,并捕获完整的攻击步骤。实验结果表明,该方法能够准确检测到漏洞利用攻击,并具备良好的运行效率,可以作为漏洞利用攻击的实时检测方案。

关键词：软件漏洞漏洞利用攻击检测地址随机化数据执行保护

来源：评论

学校读者我要写书评

暂无评论

基于信誉的快速无可信第三方匿名撤销方案

引用

通信学报 2014年第7期35卷 10-21,32页

作者：奚瓅冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049

首先指出ESORICS 2012中匿名撤销方案PE(AR)2的安全问题,然后提出一个基于信誉的不依赖可信第三方的快速匿名撤销方案。该方案允许服务提供者赋予匿名会话正分或者负分并封禁信誉过低的用户。实验结果表明,当K=80时,本方案可以支持每分... 详细信息

首先指出ESORICS 2012中匿名撤销方案PE(AR)2的安全问题,然后提出一个基于信誉的不依赖可信第三方的快速匿名撤销方案。该方案允许服务提供者赋予匿名会话正分或者负分并封禁信誉过低的用户。实验结果表明,当K=80时,本方案可以支持每分钟820次的登录请求,而此前最快速的方案PERM只能支持每分钟21次的登录请求。

关键词：匿名撤销匿名信誉无可信第三方匿名认证

来源：评论

学校读者我要写书评

暂无评论

一种面向程序动态分析的循环摘要生成方法

引用

电子学报 2014年第6期42卷 1110-1117页

作者：聂楚江刘海峰苏璞睿冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190 北京信息安全测评中心北京100101

动态测试数据生成方法相对于传统Fuzz测试方法能有效的提高软件测试与漏洞分析的效率.本文针对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题,提出了一种使用归纳变量构建循环摘要,并通过符号计算提... 详细信息

动态测试数据生成方法相对于传统Fuzz测试方法能有效的提高软件测试与漏洞分析的效率.本文针对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题,提出了一种使用归纳变量构建循环摘要,并通过符号计算提取循环摘要的方法.本文通过将循环摘要应用于软件动态分析过程中,验证了使用循环摘要能有效的提高约束求解与循环路径遍历的效率.

关键词：循环软件测试漏洞分析符号计算

来源：评论

学校读者我要写书评

暂无评论

两类广义Feistel结构的零和区分器构造

引用

密码学报 2015年第5期2卷 439-448页

作者：董乐吴文玲李艳俊邹剑杜蛟河南师范大学大数据统计分析与优化控制河南省工程实验室新乡453007 河南师范大学数学与科学计算重点学科开放实验室新乡453007 中国科学院软件研究所可信计算与信息保障实验室北京100190 北京电子科技学院北京100070 福州大学数学与计算机科学学院福州350116

由于Feistel结构具有良好的密码学性质,它的变体——许多广义Feistel结构也成为密码算法设计者乐于选择的对象,其中由郑玉良等人设计的type-2和type-3广义Feistel结构被许多分组密码算法和密码杂凑函数所采用.所以,对这两种广义Feistel... 详细信息

由于Feistel结构具有良好的密码学性质,它的变体——许多广义Feistel结构也成为密码算法设计者乐于选择的对象,其中由郑玉良等人设计的type-2和type-3广义Feistel结构被许多分组密码算法和密码杂凑函数所采用.所以,对这两种广义Feistel结构进行安全性分析非常必要.伪随机性是一个结构的重要安全性指标,而自2007年Knudsen和Rijmen提出了"已知密钥区分器"开始,利用构造已知密钥区分器来分析算法与结构的伪随机性逐步成为人们常用的手段.本文对type-2和type-3广义Feistel结构的积分性质进行深层挖掘,同时利用高阶积分性质与积分传播性质,将高阶积分路径与单活跃字起始的积分路径串联,分别构造这两种结构的中间起始积分区分器,即零和区分器.我们以23N/4的复杂度得到了type-2广义Feistel结构的15轮零和区分器,其中正向部分包含8轮,逆向部分包含7轮;并以同样的复杂度得到了type-3广义Feistel结构的10轮零和区分器,其中正向部分包含6轮,逆向部分包含4轮,这里N表示状态的大小.此外,我们还得到了一些低复杂度的结果,分别以2N/2和2N/4的复杂度得到了type-2广义Feistel结构的13轮和11轮零和区分器.

关键词： type-2广义Feistel结构 type-3广义Feistel结构高阶积分零和区分器

来源：评论

学校读者我要写书评

暂无评论

面向社交网络的隐私保护方案

引用

通信学报 2014年第8期35卷 23-32页

作者：吕志泉洪澄张敏冯登国陈开渠中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 国家超级计算深圳中心广东深圳518055

针对社交网络的隐私安全问题,提出了一种新的社交网络隐私保护方案。首先设计了带陷门的属性加密算法,由属性权威机构与数据属主协同完成用户私钥的生成与分发,有效降低了数据属主的密钥管理代价。然后,通过令牌树机制控制用户对属性陷... 详细信息

针对社交网络的隐私安全问题,提出了一种新的社交网络隐私保护方案。首先设计了带陷门的属性加密算法,由属性权威机构与数据属主协同完成用户私钥的生成与分发,有效降低了数据属主的密钥管理代价。然后,通过令牌树机制控制用户对属性陷门的获取,实现了高效的属性撤销。安全性分析表明,该方案能够避免社交网络服务提供商与系统内部非授权用户的合谋攻击,且不泄漏用户的任何属性信息。实验结果证实,该方案在计算代价、存储代价等方面比现有方案更有优越性。

关键词：社交网络隐私保护属性加密令牌树属性撤销

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：