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

通信学报 2009年第4期30卷 17-20页

作者：谭示崇庞辽军苏万力王育民西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

基于口令的密钥协商协议可以为网络上仅共享一个口令的通信双方建立会话密钥。提出了一个基于口令的认证密钥协商协议,并且对所提出的协议安全性进行了分析,分析结果表明该协议在计算性Diffie-Hellman假设下,可以抵抗字典攻击。该协议... 详细信息

基于口令的密钥协商协议可以为网络上仅共享一个口令的通信双方建立会话密钥。提出了一个基于口令的认证密钥协商协议,并且对所提出的协议安全性进行了分析,分析结果表明该协议在计算性Diffie-Hellman假设下,可以抵抗字典攻击。该协议能够为用户提供隐私保护并且实现非关联性,而且,该密钥协商协议能够抵抗拒绝服务攻击。

关键词：密钥协商匿名性拒绝服务攻击字典攻击

来源：评论

学校读者我要写书评

暂无评论

可证明安全的多信任域认证密钥协商协议

引用

华中科技大学学报（自然科学版） 2009年第5期37卷 53-56页

作者：朱辉李晖王育民西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

为解决采用基于证书认证方式的网络用户与采用基于身份认证方式的网络用户之间相互认证的问题,利用对称加密、数字签名和消息认证码等技术,首先构造一个认证链路模型下会话密钥安全的认证协议,然后设计消息认证器把该协议转换成非认证... 详细信息

为解决采用基于证书认证方式的网络用户与采用基于身份认证方式的网络用户之间相互认证的问题,利用对称加密、数字签名和消息认证码等技术,首先构造一个认证链路模型下会话密钥安全的认证协议,然后设计消息认证器把该协议转换成非认证链路模型下的会话密钥安全的认证协议,并对该协议的安全性进行了分析.分析表明,该协议实现了不同认证方式的信任域中用户间的认证、密钥协商以及密钥更新,并在Canetti-Krawczyk(CK)模型下满足安全属性需求.此外,该协议仅需4次通信即可完成,且扩展性好,为不同认证机制的网络用户间认证提供了一种较为实用的解决方案.

关键词：密码学认证密钥协商多信任域对称加密消息认证码

来源：评论

学校读者我要写书评

暂无评论

P2P网络中基于模糊推理的信任综合评判

引用

通信学报 2009年第8期30卷 124-130页

作者：权义宁胡予濮李新社西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 西安电子科技大学计算机学院陕西西安710071

针对P2P网络环境下实体之间的信任关系存在模糊性的特点,以模糊推理理论为基础,给出了一种基于信任的模糊命题演算的演绎系统,建立了P2P网络环境下的一种基于三I模糊推理算法的信任推荐和信任评价模型。模型中,对基于信任的多条推荐规... 详细信息

针对P2P网络环境下实体之间的信任关系存在模糊性的特点,以模糊推理理论为基础,给出了一种基于信任的模糊命题演算的演绎系统,建立了P2P网络环境下的一种基于三I模糊推理算法的信任推荐和信任评价模型。模型中,对基于信任的多条推荐规则进行了模糊推理,达到对推荐信任的综合评价,从而建立起了一种新的P2P网络环境下信任模型。仿真实验结果表明,该信任模型能够较大程度地提高交易的成功率,可以使得节点之间更加有效地建立信任关系。

关键词：模糊推理信任模型三I算法综合评判

来源：评论

学校读者我要写书评

暂无评论

用逻辑方法验证移动AdHoc网络协议

用逻辑方法验证移动AdHoc网络协议

引用

第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

作者：郭显冯涛袁占亭马建峰兰州理工大学电气工程与信息工程学院兰州 730050 兰州理工大学计算机与通信学院兰州 730050 甘肃联合大学电子信息工程学院兰州 730010 兰州理工大学计算机与通信学院兰州 730050 西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071 兰州理工大学电气工程与信息工程学院兰州 730050 兰州理工大学计算机与通信学院兰州 730050 西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071

针对移动Ad Hoc网络节点移动和无线广播通信特征，引入移动算子和广播算子，扩展形式逻辑LS2，提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2. ELS2 把网络模型化为不同位置上执行程序的线程复合，把攻击者模型化为与协议参与方并... 详细信息

针对移动Ad Hoc网络节点移动和无线广播通信特征，引入移动算子和广播算子，扩展形式逻辑LS2，提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2. ELS2 把网络模型化为不同位置上执行程序的线程复合，把攻击者模型化为与协议参与方并发运行的线程. ELS2中提出网络迹概念,描述网络节点内部计算和外部交互，以及节点移动导致的网络进化过程,并在网络迹上定义谓词公式和模态公式的语义，以及分析网络协议属性。 ELS2证明系统中设计了捕获程序行为直观属性的新公理.最后,在ELS2逻辑中建模并分析了移动IP注册协议正确性属性。

关键词： Ad Hoc网络形式逻辑网络迹移动IP注册协议

来源：评论

学校读者我要写书评

暂无评论

可证明安全的MANET按需源路由协议分析

引用

通信学报 2009年第1期30卷 38-44页

作者：毛立强马建峰李兴华西安电子科技大学计算机学院陕西西安710071 计算机网络与信息安全教育部重点实验室陕西西安710071

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析... 详细信息

对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。

关键词：路由协议可证明安全形式化分析模拟隐蔽信道攻击

来源：评论

学校读者我要写书评

暂无评论

高非线性度三次齐次Plateaued函数

引用

北京邮电大学学报 2009年第1期32卷 81-84页

作者：张凤荣谢敏马华胡予濮西安电子科技大学理学院西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

对一类三次plateaued函数进行了研究,证明了该函数具有高非线性度且没有线性结构.同时借助对称矩阵给出了该函数和三次齐次plateaued函数等价的条件,并给出了构造该三次齐次plateaued函数的具体方法.

关键词： plateaued函数循环Walsh变换密码函数布尔函数

来源：评论

学校读者我要写书评

暂无评论

对具有高代数免疫度布尔函数的新型代数攻击

引用

西安电子科技大学学报 2009年第4期36卷 702-707页

作者：李雪莲胡予濮西安电子科技大学理学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

代数免疫度是衡量布尔函数抵抗代数攻击的重要性能指标,具有低代数免疫度的布尔函数是不能抵抗代数攻击的.利用分拆布尔函数的方法证明了如下结论:(1)对于对称布尔函数,即使它们具有高代数免疫度,如果使用不当仍然不能抵抗新型代数攻击;... 详细信息

代数免疫度是衡量布尔函数抵抗代数攻击的重要性能指标,具有低代数免疫度的布尔函数是不能抵抗代数攻击的.利用分拆布尔函数的方法证明了如下结论:(1)对于对称布尔函数,即使它们具有高代数免疫度,如果使用不当仍然不能抵抗新型代数攻击;(2)对于由旋转对称函数和低次布尔函数的直和构成的布尔函数即便具有高代数免疫度,如果使用不当,也会受到新型代数攻击.提出的代数攻击需要一段连续的密钥流.

关键词：流密码代数免疫度对称布尔函数旋转对称布尔函数

来源：评论

学校读者我要写书评

暂无评论

新的标准模型下基于身份的环签名方案

引用

电子与信息学报 2009年第7期31卷 1727-1731页

作者：刘振华胡予濮牟宁波马华西安电子科技大学应用数学系西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

该文提出了一种新的基于身份的环签名方案,并在标准模型下证明其能抵抗签名伪造攻击,且具有无条件匿名性。与现有标准模型下基于身份的环签名方案相比,新方案具有更短的公开参数,对于n个成员的环,签名长度只有n+1个群元素,签名验证需要... 详细信息

该文提出了一种新的基于身份的环签名方案,并在标准模型下证明其能抵抗签名伪造攻击,且具有无条件匿名性。与现有标准模型下基于身份的环签名方案相比,新方案具有更短的公开参数,对于n个成员的环,签名长度只有n+1个群元素,签名验证需要n+1个双线性对运算,因此能更好的满足应用要求。

关键词：基于身份的密码环签名标准模型双线性对

来源：评论

学校读者我要写书评

暂无评论

标准模型下一种新的基于身份的分级加密方案

引用

电子与信息学报 2009年第4期31卷 937-941页

作者：张乐友胡予濮吴青西安电子科技大学应用数学系西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

该文给出了一种新的基于身份的分级加密方案,在标准模型下,证明了该方案是推广selective-ID安全的。在判定BDHI假设下,该方案可以抗选择明文攻击(CPA)。另外,作为文中方案的推广应用,基于Waters方案及其变形方案,提出了一种标准模型下... 详细信息

该文给出了一种新的基于身份的分级加密方案,在标准模型下,证明了该方案是推广selective-ID安全的。在判定BDHI假设下,该方案可以抗选择明文攻击(CPA)。另外,作为文中方案的推广应用,基于Waters方案及其变形方案,提出了一种标准模型下基于身份的分级签名方案。在DHI假设下,该方案被证明对适应性选择消息攻击是存在性不可伪造的。

关键词：基于身份的分级加密方案标准模型分级签名方案双线性映射

来源：评论

学校读者我要写书评

暂无评论

42轮SHACAL-2新的相关密钥矩形攻击

引用

通信学报 2009年第1期30卷 7-11,17页

作者：韦永壮胡予濮西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 桂林电子科技大学信息与通信学院广西桂林541004

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数... 详细信息

利用SHACAL-2密码算法轮变换的特点,构造了一个新型的34轮区分器。基于该区分器和部分密钥分别猜测的技术,针对40轮、42轮简化SHACAL-2分别给出了新的攻击方法。研究结果表明:利用2个相关密钥,对40轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2432.6次加密;而对42轮SHACAL-2进行相关密钥矩形攻击其数据复杂度约为2235选择明文数据量,计算复杂度约为2472.6次加密。与已有的结果相比较,这些新分析所需的数据复杂度和计算复杂度均有明显的降低。

关键词：分组密码相关密钥矩形攻击 SHACAL-2算法计算复杂度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：