论文部分内容阅读
对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。
可证明安全的MANET按需源路由协议分析
【摘 要】
：
对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标。
【机 构】
：
西安电子科技大学计算机学院,计算机网络与信息安全教育部重点实验室
【出 处】
：
通信学报
【发表日期】
：
2009年01期
其他文献
针对超临界锅炉产品工时定额管理中存在的编制效率低、信息不能及时共享等问题,结合企业工时定额计算的特点,提出了工时定额参数化计算方法,并通过提炼具有超临界锅炉产品特
针对Mimic模式的文本信息隐藏技术,提出了一种基于文本剩余度的文本隐藏信息检测方法。该方法将待检测的文本作为m阶马尔可夫信源,将文本中的单词作为信源符号,计算该信源剩余度,通过剩余度与文本大小的关系判断文本中是否含有隐藏信息。通过对NiceText、Texto、Stego和Sams Big Play Maker等4种主要工具软件生成的8000个隐写文本,及随机选择的2400个正常文本的测试,该检
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
随着经济的发展,生态环境得到越来越多人的重视,也是人类可持续性发展的需要。进入20世纪90年代以来,各个国家也推出了不同保护环境的战略,如有效利用资源、减少垃圾排放量等
移动sink最短路由问题可以看作是带邻近区域的旅行商问题(TSPN)的一个特例,其邻近区域为随机部署的传感器节点的无线通信范围,可建模成大小各异并且存在重叠的圆盘。由于目前还不存在多项式时间算法来解决该种TSPN问题,提出了一种新颖的启发式算法。它利用TSP路径为不自交环路的特性构造一条赛道,通过内圈启发式、弯道启发式以及捷径搜索在O(n2)时间复杂度内找出赛道内的近似最短路径。形式化证明和大规模
为了提高绿色产品创新设计的效率,通过分析大量绿色产品设计实例以及市场现有产品的绿色属性,创建绿色设计类型与绿色设计参数映射表,从而简化绿色设计实例的表达和检索,并建
将态势感知的先进思想引入网络传输领域,以空间流量聚类为基本思想,建立网络传输态势感知(NTSA)模型;围绕模型关键技术,依据信息增益和互信息的等价性执行态势因子选择,提出了一种面向传输模式划分的高维数据流聚类算法,并且基于图论进行拓扑重要性分析;设计并且实现了NTSA原型系统。基于真实数据集的实验验证了系统的时效性、准确性以及可扩展性。