【摘 要】
：
目前采用形式化方法进行Ad hoc路由协议安全性分析还面临着诸多挑战。论文在串空间理论的基础上提出了一种Ad hoc路由协议安全性分析新框架，首先根据图论的邻接矩阵运算原
【机 构】
：
解放军理工大学指挥自动化学院,江苏南京210007
【出 处】
：
第三届中国计算机网络与信息安全学术会议(CCNIS2010)
论文部分内容阅读
目前采用形式化方法进行Ad hoc路由协议安全性分析还面临着诸多挑战。论文在串空间理论的基础上提出了一种Ad hoc路由协议安全性分析新框架，首先根据图论的邻接矩阵运算原理确定网络中的虚假路径；然后构建协议串空间模型，描述虚假路径产生协议行为，并利用扩展的串空间理论方法验证产生虚假路径的合理性。之后，给出了针对endairA协议安全性的分析实例，发现该协议存在产生虚假路径的安全漏洞，而该漏洞在以往的形式化分析模型中未能被发现。
其他文献
基于MTM的可信移动终端研究缺乏必要的硬件支持，制约了MTM规范的推广与应用。基于QEMU虚拟机和MTM模拟器，提出了一种在QEMU中实现模拟MTM设备的方法，为建立可信移动终端模拟
现有医学图像生成过程中无法回避噪声的引入,而目前还未有较好的算法对高噪声的MRI医学图像进行分割,分割归属于聚类问题,聚类常用的方法是模糊聚类,但模糊聚类需要解决对噪声和初始化敏感的问题,提出了一种基于模糊熵聚类和粒子群优化算法的MRI脑图像分割算法。首先在模糊熵聚类算法的基础上进行改进,设计了一种利用邻域空间信息的核化模糊熵聚类的新目标函数,然后提出一种基于改进粒子群优化的新算法,最后通过最优化
为了减小图像噪声对手眼标定精度的影响,在传统的手眼标定算法的基础上,利用基于最小化重投影误差优化算法求解手眼标定方程.以基于矩阵直积参数化方法计算出的手眼关系矩阵
银杏雌雄异株,雄株的花粉多、小、轻,能随风飘扬,使数公里外的雌株授粉,但授粉率极低。若用人工授粉,则可大大提高结实率。银杏的花着生在乳头状短枝上,常年一般于4月上旬花
给出了多输出m值逻辑函数的相关度的定义，考察了相关度与平衡函数、相关度与独立性的关系，给出了多输出m值逻辑函数和多输出仿射函数的相关度的谱表示；并在此基础上定义了多
针对实际条码识别系统中全场景监控和传统图像拼接算法速度慢的问题,提出了一种基于离线标定的快速全景视频拼接算法。在实际应用中多台相机位置固定,采用离线标定计算出图像拼接的单应性矩阵,在实时拼接中直接加载该矩阵进行计算,从而省去了大量的特征提取和配准时间。为了提高图像特征的配准精度,设计了一种改进的SIFT(Scale-Invariant Feature Transform)特征匹配算法。实验结果表明
水下无线光通信(UOWC)具有保密性好、容量大、传输速度快等优点,可应用于水下信息传输、资源勘查等领域,通信链路的快速建立和持续稳定是水下无线光通信实际应用的基本条件.
2010年世博会将成为展现东方魅力、演绎国人能力的舞台。这是展示中国非常好的机会,也是展示上海的好机会,更是我们向世界学习的一个最好的机会。从历史角度来看,在中国五千
提出了一种基于分簇式骨干网Mesh结构的密钥分发方案。方案设立可信第三方在节点与中心接入点间建立共享密钥。该方案的新颖之处是采用网络编码的异或运算，在确保密钥安全
密钥管理是无线Mesh网安全的基础，它为无线Mesh网安全地传输数据及认证提供底层支持。为了确保无线Mesh网密钥的安全性和有效性，笔者结合无线Mesh网特点，利用基于区域网络拓