论文部分内容阅读
根据Ad-hoc移动网络特点,深入分析了串空间模型的一致性条件,提出路由五段式模型,将中继者可信条件修改为任意中继者可信条件,使串空间适用于Ad-hoc安全路由协议分析。然后以一个攻击实例验证路由五段式模型的正确性和优越性。
Ad-hoc路由协议的串空间安全性扩展
【摘 要】
：
根据Ad-hoc移动网络特点,深入分析了串空间模型的一致性条件,提出路由五段式模型,将中继者可信条件修改为任意中继者可信条件,使串空间适用于Ad-hoc安全路由协议分析。然后以
【机 构】
：
西安电子科技大学计算机学院,西安电子科技大学计算机网络与信息安全教育部重点实验室,中国航空计算技术研究所
【出 处】
：
计算机科学
【发表日期】
：
2011年7期
其他文献
无线电技术的发展对频谱的需求越来越迫切,从而促使频谱分配由传统的静态分配向动态分配发展。针对多网络通过中心频谱代理协商接入同一段频谱的应用场景,提出一种基于频谱供
针对超宽带（ultra-wideband,UWB）信号的具体特征,利用近完美序列的相关特性,构造了一种训练序列;同时,在此基础上建立了最小二乘估计的UWB同步捕获算法。该算法只需要对按比特
微米尺度热学性能测试需要在微米尺度内产生稳定的温度场并准确测量温差,对此设计并制作了一种微米尺度温差测试结构。当在测试结构的加热电极施加0.1,0.2,0.3,0.4,0.5V的电
在捣固车安全作业监测系统的研制中,提出了基于概念格理论的异质多传感器两级数据融合处理机制,第一级引入支持度矩阵和最优加权,规避了捣固车在恶劣工作环境下,多传感器监测
传统IPSec协议在建立安全通信连接时,没有考虑终端自身安全问题,而可信计算的远程证明机制就是为被接入方提供接入方的自身安全证明,将其引入IPSec协议可以弥补建立IPSec连接
聚合签名由Boneh等人提出,主要是通过聚合多个签名为一个签名,来提高签名与验证的效率。提出一个新的基于身份的聚合签名方案。与Xu等人的同类方案相比,新方案在签名和验证时
可靠性是可信性研究的基本内涵之一,也是P2P（Peer-to-Peer）存储系统研究的关键。P2P存储系统结点具有高动态特征,结点频繁地上下线给系统的可靠性分析带来困难。结点的暂时离线
分析了无线传感器网络传输信息位置相关性特点以及节点能耗模型,运用基于能量指标和距离指标的簇首选举方法,建立了一种基于节点剩余能量和传输距离的跨层自适应周期簇间路由
核燃料仓储规模不断扩大、调拨频次逐渐增加,为有效提高储运效率、优化管控手段,依托RFID(射频识别)技术和信息集成理念,以某核燃料仓库为研究对象,构建了一个储运一体化的管控平台。在数据采集、容器监控及信息处理方面革新传统管理方法,并重点对该管控平台的系统分级保护、电子标签应用规范、RFID安全协议采用及防冲撞算法等关键技术进行分析,给出了管控平台的系统解决方案和模型的体系设计。该平台将有助于提高核
同一问题在不同知识表示下算法难度不同。Rough集理论把知识定义为对对象的分类能力,并提供了一套基于代数系统的知识表达和处理方法。然而在代数表示下,知识的本质以及运算