论文部分内容阅读
目前对安全协议进行分析的方法主要有两大类：一类是攻击检验方法；一类是形式化的分析方法。论文对第一种方法进行改进，通过对Adhoc移动网络中节点行为的分析，给出了针对路由协议的攻击方式的形式化描述。以DSR和SADSR为例，分析了在这些攻击方式的作用下路由协议的安全性。
一种Adhoc网络路由协议安全性分析方法
【摘 要】
：
目前对安全协议进行分析的方法主要有两大类：一类是攻击检验方法；一类是形式化的分析方法。论文对第一种方法进行改进，通过对Adhoc移动网络中节点行为的分析，给出了针对路由协议
【机 构】
：
山东大学信息科学与工程学院,山东省计算中心
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年23期
其他文献
多分类器集成是解决手写体汉字识别性能的重要方法之一,近年来受到了学术届的普遍关注。文章提出了一种基于单字单网的手写体汉字识别纯神经网络的多分类器集成方案,并通过实验证明该方案是行之有效的。
生物入侵是当今世界难题之一,成为维护生物安全和生态安全的共同挑战。水盾草作为一种流行的观赏水草,原分布于美洲中部,伴随人类商业、运输等活动迁移到世界各地,现已成功入
在大学生就业如此严峻的今天,还有一群易被社会忽略的就业＂困难户＂,他们便是理工科院校经管类的毕业生。他们在理工科院校的时候不被重视,在走入社会的时候不具有竞争力,该如何
<正>1 案情摘要龚某,女,42岁,于1996年9月某日在抚顺县某度假村因发生口角,被他人用霰弹击中头部,当即死亡。 2 尸体检验右额顶部有一5×8 cm的三角形头皮缺损,创缘不整,创周
会议
论文针对原有彩铃业务管理接入方案的不足，采用Web服务技术，设计并实现了一个全新的彩铃业务管理接入系统。该系统将业务管理逻辑封装成为若干Web服务，并采用多层结构进行Web服
2018年以来,湖州市南浔区以"全面提升群众居住水平、全面改善区域生态环境、全域建设美丽大花园、全力保障经济社会发展"为主要目标,全面开展乡村全域土地综合整治与生态修复
瓶窑,位于杭州市西北郊,余杭区中部,境内生态环境优良,杭州地区仅存的原生态湿地——北湖草荡风光旖旎,东苕溪自南向北穿境而过,森林覆盖面积达50平方公里,山、水、林、田、