【摘 要】
：
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。
【机 构】
：
山东大学,山东省计算中心,山东省计算中心
论文部分内容阅读
Ad hoc移动网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种。这使得采用形式化的方法分析其安全性成为可能。考虑ad hoc移动网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,提出了协议应满足的条件。并对协议的运行过程进行了形式化,给出具体的分析方法。采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性。
其他文献
目的分析胃肠道肿瘤患者手术前的营养风险率,以及营养风险对临床结局的影响。方法选择2010年1月至2012年3月在我院就诊的胃肠道肿瘤患者120例为研究对象,采用营养风险筛查200
提出了基于小波函数的两个正交脉冲,其功率谱密度满足美国通信委员会(FCC)对UWB系统的频谱限制。在此基础上提出了使用脉冲波形的极性调制和正交脉冲波形的形状调制相结合的一种高速超宽带通信系统,可以同时传送多个比特信息提高传信率。
城市管道泄漏长期以来是供水系统的致命难题,管道发生泄漏的原因有很多种,例如环境因素、人为因素,材质因素等。塑料管道泄漏检测主要基于声学检测,该检测方法的相关研究与应用仅考虑了埋地管道单点泄漏情况下,然而并未考虑到管道存在暗漏时不及时处理,长期的泄漏会导致管道周围介质发生变化,导致检测结果产生误差。结合埋地供水管道单泄漏信号的理论研究,论文基于互相关时延算法,分析了水下充液管道发生单、多源泄漏时,塑
对于有一定音响阅历的发烧友来说，他们在选择、购买具体的器材时，有着浓重的品牌忠实度心理作判断的依据。即使面对着一个像今天这样的全新的音响市场，即使今天的音响器材品牌繁
目的 探讨头孢哌酮/舒巴坦在肺炎治疗中的效果.方法 选取2016年8月至2017年9月在医院进行治疗的70例肺炎患者,然后把他们随机分为A组(头孢哌酮/舒巴坦组)35例和B组(头孢噻肟
遥感技术是一门涉及到多种领域的综合性探测技术,能把接收到的地物所辐射的电磁波信息进行不同方式的处理,从而观测和识别各类地物和相关现象。该技术在很多领域都有应用,已经成为测绘和规划、地球环境资源调查领域应用过程中不可缺少的有效手段。遥感影像的分类与制图为制作或更新地图和专题图提供了重要的技术手段,为各行业的发展提供了真实、可靠的信息,是地理监测、生态保护等工作的基础。本文着重研究了模糊聚类算法和特征
在中央关于振兴东北老工业基地战略的指引下,东北地区改革发展进一步加快,呈现出前所未有的活力。振兴东北,首先要振兴东北城市,发挥城市对振兴东北的带动作用。而作为城市
济宁市公共汽车公司新购置的100辆豪华美观、环保节能、载客量大的公交车，国庆节前上线运营，为市民提供出行服务。
漫天瑞雪,迎来了兆示祥和和丰收的2005年.<上海企业>将以它崭新的改版,展示它新的追求.思索良久,新版卷首若就党的十六届四中全会提出的构建社会主义和谐社会的命题,而一吐着
背景:乳腺癌是全球三大最常见的癌症之一,同时也是女性肿瘤相关死亡率最高的一类疾病。研究表明,基于乳腺癌分子亚型在临床上被用于选择最合适的治疗方法,并已被证明对个体化