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

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注册协议

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

关键词： SIN 卫星认证路由

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

武汉大学学报（理学版） 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年第14期47卷 124-127,145页

作者：张银凤王晅马建峰陕西师范大学物理学与信息技术学院西安710062 西安电子科技大学计算机网络信息与安全教育部重点实验室西安710071

现有的等距映射算法对邻域参数的选择较为敏感,而且对噪声干扰缺乏足够的鲁棒性。基于平均最短路径与邻域参数的变化关系与平均最短路径梯度提出了一种构建最优邻域图的方法,基于该方法构建的邻域图几乎没有短路边;可以根据每个数据点... 详细信息

现有的等距映射算法对邻域参数的选择较为敏感,而且对噪声干扰缺乏足够的鲁棒性。基于平均最短路径与邻域参数的变化关系与平均最短路径梯度提出了一种构建最优邻域图的方法,基于该方法构建的邻域图几乎没有短路边;可以根据每个数据点的不同特性采用可变的邻域参数;对数据点间的测地距有更好的逼近。实验表明:算法不仅对均匀采样、无噪声干扰的数据集有更好的降维性能,而且对噪声干扰的数据集有较强的鲁棒性与拓扑稳定性。

关键词：邻域图平均最短路径平均最短路径梯度测地距等距映射

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

认知无线电网络中基于信任的合作频谱感知框架

引用

微电子学与计算机 2011年第9期28卷 1-4页

作者：张光华仇晶西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 河北科技大学信息科学与工程学院河北石家庄050000

文中提出了一种基于信任的合作频谱感知框架.通过本地感知差异、感知位置因素、控制信道条件为参与频谱感知的用户建立信任,准确地权重决策中心的单用户感知信息.仿真结果表明,在一定虚警概率的约束条件下,该框架应用于具体模型时具有... 详细信息

文中提出了一种基于信任的合作频谱感知框架.通过本地感知差异、感知位置因素、控制信道条件为参与频谱感知的用户建立信任,准确地权重决策中心的单用户感知信息.仿真结果表明,在一定虚警概率的约束条件下,该框架应用于具体模型时具有较低的漏检概率.

关键词：信任频谱感知虚警概率漏检概率

来源：评论

学校读者我要写书评

暂无评论

师范院校网络安全实验系统探讨

引用

实验技术与管理 2011年第8期28卷 100-102页

作者：刘小跃韩山师范学院数学与信息技术系广东潮州521041 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

针对师范院校网络安全课程的现状和问题,结合当前网络安全课程的教学实践,分析了构建师范院校网络安全实验系统的迫切性,讨论了网络安全实验系统结构、网络安全实验系统模块和实验管理系统的功能模块,指出了构建网络安全实验系统的重要... 详细信息

针对师范院校网络安全课程的现状和问题,结合当前网络安全课程的教学实践,分析了构建师范院校网络安全实验系统的迫切性,讨论了网络安全实验系统结构、网络安全实验系统模块和实验管理系统的功能模块,指出了构建网络安全实验系统的重要意义。

关键词：网络安全实验系统系统结构系统模块师范院校

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：