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

计算机学报 2011年第8期34卷 1351-1364页

作者：吴振强周彦伟马建峰陕西师范大学计算机科学学院西安710062 陕西师范大学教师专业能力发展中心西安710062 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

物联网的安全与隐私对参与方有着较大的影响,需要建立相应的安全框架实现数据保密、访问控制、客户端隐私保护等功能以抵抗复杂攻击.论文利用可信计算技术和双线性对的签密方法提出了一个物联网安全传输模型,满足了物联网的ONS查询及物... 详细信息

物联网的安全与隐私对参与方有着较大的影响,需要建立相应的安全框架实现数据保密、访问控制、客户端隐私保护等功能以抵抗复杂攻击.论文利用可信计算技术和双线性对的签密方法提出了一个物联网安全传输模型,满足了物联网的ONS查询及物品信息传输两个环节的安全需求.模型包括了EPC物联网中ONS查询服务的安全体系及相应的安全协议,ONS根服务机构利用可信认证服务器对申请查询的本地ONS服务器(L-ONS)的合法身份及平台可信性进行验证,对通过验证的L-ONS签发临时证书,在证书有效时间内L-ONS可持证书多次申请查询服务.安全ONS查询服务实现了匿名认证功能,仅对授权且可信的L-ONS提供查询服务,阻止了非法ONS查询物品信息;在传输过程中,远程物品信息服务器按响应路径中各节点的顺序从后至前用公钥对物品信息嵌套加密.加密后的数据每经过一个路由节点被解密一层,直到本地信息服务器时物品信息才被还原成明文,传输过程中每个路由节点可以验证收到数据的完整性及转发路径的真实性.分析表明,新的传输模型具有安全性、匿名性、可信性和抗攻击性等特点.

关键词：物联网 ONS查询可信计算匿名认证匿名传输

来源：评论

学校读者我要写书评

暂无评论

一类新的4阶W-广义割圆序列的线性复杂度

引用

计算机应用研究 2011年第11期28卷 4350-4352页

作者：刘龙飞杨晓元陈海滨武警工程学院电子技术系网络与信息安全武警部队重点实验室西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

基于Whiteman-广义割圆,通过寻找序列特殊的特征集,构造了Zpq环上一类新的周期为pq、阶为4的广义割圆序列,并确定了该序列的线性复杂度,且该序列为平衡序列。结果表明,该类序列具有良好的线性复杂度性质,以它们作密钥流序列的密码系统... 详细信息

基于Whiteman-广义割圆,通过寻找序列特殊的特征集,构造了Zpq环上一类新的周期为pq、阶为4的广义割圆序列,并确定了该序列的线性复杂度,且该序列为平衡序列。结果表明,该类序列具有良好的线性复杂度性质,以它们作密钥流序列的密码系统具有抵抗B-M算法攻击的能力。

关键词：流密码伪随机序列 Whiteman-广义割圆线性复杂度

来源：评论

学校读者我要写书评

暂无评论

Ad-hoc路由协议的串空间安全性扩展

引用

计算机科学 2011年第7期38卷 51-54页

作者：董学文牛文生马建峰盛立杰西安电子科技大学计算机学院西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 中国航空计算技术研究所西安710068

根据Ad-hoc移动网络特点,深入分析了串空间模型的一致性条件,提出路由五段式模型,将中继者可信条件修改为任意中继者可信条件,使串空间适用于Ad-hoc安全路由协议分析。然后以一个攻击实例验证路由五段式模型的正确性和优越性。

关键词：串空间安全协议一致性条件任意中继者可信条件

来源：评论

学校读者我要写书评

暂无评论

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

引用

东南大学学报（自然科学版） 2011年第2期41卷 258-265页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于PCL的改进型Helsinki协议的形式化分析

引用

华中科技大学学报（自然科学版） 2011年第4期39卷 53-55页

作者：鲁来凤吴振强马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 陕西师范大学数学与信息科学学院陕西西安710062 陕西师范大学计算机科学学院陕西西安710062

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于'Cords演算'的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证... 详细信息

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于'Cords演算'的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.

关键词：协议分析安全协议形式化方法协议组合逻辑 Helsinki协议形式化描述

来源：评论

学校读者我要写书评

暂无评论

空间信息网络环境下一种基于双层卫星网络的认证路由协议

引用

计算机科学 2011年第2期38卷 79-81页

作者：郝选文马建峰任方刘小跃钟焰涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 陕西师范大学计算机科学学院西安710062

以空间信息网络环境为背景,介绍了空间信息网络的概念,分析了卫星网络路由的研究现状和卫星网络拓扑结构路由需求。在卫星网络安全路由需求的基础上研究了卫星网络路由协议,提出了一种基于双层卫星网络的认证路由协议,并对该认证路由协... 详细信息

以空间信息网络环境为背景,介绍了空间信息网络的概念,分析了卫星网络路由的研究现状和卫星网络拓扑结构路由需求。在卫星网络安全路由需求的基础上研究了卫星网络路由协议,提出了一种基于双层卫星网络的认证路由协议,并对该认证路由协议的安全性进行了证明。结果表明,该认证路由协议对卫星网络路由消息的安全性有了很大提高。

关键词： SIN 卫星认证路由

来源：评论

学校读者我要写书评

暂无评论

空间信息网抗毁安全路由协议

引用

武汉大学学报（理学版） 2011年第5期57卷 413-418页

作者：郝选文马建峰刘小跃西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 陕西师范大学计算机科学学院陕西西安710062

对空间信息网路由协议进行了研究,提出了一种基于GEO-LEO(geosynchronous earth orbit,GEO;low earth orbit,LEO)双层卫星组网的空间信息网抗毁安全路由协议.协议中GEO卫星组提供对LEO卫星的分组管理、密钥管理和超远距离中继服务功能,... 详细信息

对空间信息网路由协议进行了研究,提出了一种基于GEO-LEO(geosynchronous earth orbit,GEO;low earth orbit,LEO)双层卫星组网的空间信息网抗毁安全路由协议.协议中GEO卫星组提供对LEO卫星的分组管理、密钥管理和超远距离中继服务功能,LEO卫星担任主要通信任务,路由消息采用对称密钥加密;协议在每个卫星周期时间片起始路由查找产生路由表并对该路由表进行存储,若在该卫星周期内没有卫星节点失效或链路拥塞的情况出现,路由表保持不变,否则触发路由更新过程.仿真分析实验表明,该抗毁安全路由协议在信令开销不大的情况下对空间信息网路由消息的可靠性和安全性有很大提高.

关键词：空间信息网卫星抗毁安全路由

来源：评论

学校读者我要写书评

暂无评论

一种前向安全的无证书代理盲签名方案

引用

计算机工程与应用 2011年第34期47卷 95-97,167页

作者：魏俊懿杨晓元余丹武警工程学院电子技术系网络与信息安全武警部队重点实验室西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 武警工程学院信息安全研究所西安710086

为了解决密钥泄漏问题,提出一种前向安全的无证书代理盲签名方案,采用密钥不断更新的方法,保证了代理盲签名方案的前向安全性。当代理签名者的代理密钥泄漏后,以前所产生的代理盲签名依然有效,从而减少了密钥泄漏对系统带来的损失。同... 详细信息

为了解决密钥泄漏问题,提出一种前向安全的无证书代理盲签名方案,采用密钥不断更新的方法,保证了代理盲签名方案的前向安全性。当代理签名者的代理密钥泄漏后,以前所产生的代理盲签名依然有效,从而减少了密钥泄漏对系统带来的损失。同时该方案采用了无证书公钥密码体制,避免了基于证书密码系统的证书管理问题,解决了基于身份的密钥托管问题。

关键词：无证书公钥密码体制代理盲签名前向安全

来源：评论

学校读者我要写书评

暂无评论

无证书公钥密码体制研究

引用

软件学报 2011年第6期22卷 1316-1332页

作者：张福泰孙银霞张磊耿曼曼李素娟南京师范大学计算机科学与技术学院江苏省信息安全保密技术工程研究中心江苏南京210097 西安电子科技大学教育部计算机网络与信息安全重点实验室陕西西安710071 UNESCO Chair in Data Privacy Department of Computer Engineering and MathematicsUniversitat Rovira i Virgili 南京工业大学理学院江苏南京210009

无证书公钥密码体制(certificateless public key cryptography,简称CL-PKC)是在基于身份的公钥密码体制(identity-based public key cryptography,简称ID-PKC)的基础上提出来的一种新型公钥密码体制,没有密钥托管问题、不需要使用公钥证书,使得无证书公钥密码体制从其概念提出的初始就受到了学术界和工业界的极大关注.从2003年至今,它一直是密码学和信息安全领域非常活跃的研究热点.其理论和技术在不断地丰富和发展.到目前为止,已经积累了大量的研究成果.将对这些成果进行较为系统的整理、分析、比较和简要的评述,并探讨该领域研究尚存在的不足及值得进一步研究的问题.

关键词：无证书公钥密码体制无证书加密无证书签名无证书密钥协商安全模型

来源：评论

学校读者我要写书评

暂无评论

一种基于三角形区域生长的图像篡改检测方法

引用

武汉大学学报（理学版） 2011年第5期57卷 455-460页

作者：王浩明李德龙杨晓元潘晓中刘圆武警工程学院电子技术系陕西西安710086 武警工程学院网络与信息安全研究所陕西西安710086 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

针对现有的多数图像篡改检测算法中存在着的对旋转、缩放等篡改失效和计算量大等问题,利用三角形具有抗平移、旋转、尺度缩放的优越特性,提出了一种新的图像篡改检测算法.首先,利用Delaunay三角剖分算法对提取的Harris特征角点进行三角... 详细信息

针对现有的多数图像篡改检测算法中存在着的对旋转、缩放等篡改失效和计算量大等问题,利用三角形具有抗平移、旋转、尺度缩放的优越特性,提出了一种新的图像篡改检测算法.首先,利用Delaunay三角剖分算法对提取的Harris特征角点进行三角剖分,进行相似三角形的初始匹配.然后,以匹配的相似三角形顶点为种子点,建立三角形组,再进行一次相似三角形的匹配,实现对篡改区域的三角形生长.最后,利用区域面积阈值和数学形态学准确定位出篡改区域.实验结果表明,该算法与同类算法相比不仅能有效地对抗旋转、缩放,噪声等后期处理操作,而且对篡改区域有很好的检测和定位效果并具有计算复杂度低的特点.

关键词：图像取证 Harris角点相似三角形

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：