【摘 要】
：
在目前协议安全问题日益突出的情况下,针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多,但这些版本是否真正安全并不确定。基于形式化建模的思想,以
论文部分内容阅读
在目前协议安全问题日益突出的情况下,针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多,但这些版本是否真正安全并不确定。基于形式化建模的思想,以LEACH的安全协议版本ORLEACH协议为例,分别建立簇头节点、簇成员节点、监控节点以及攻击节点的CSP模型,并使用模型检查工具PAT对其进行验证,分析在攻击节点存在的情况下,协议是否能够满足网络的安全需求。验证结果表明,尽管ORLEACH协议中加入了安全机制,但是协议仍然不能抵挡某些攻击行为的发生。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的探讨胎盘早剥的诱因、临床诊断及治疗。方法选取2014年5月至2017年5月佛山市第二人民医院产科接诊的200例产妇为研究对象,回顾性分析所有产妇的临床资料。将其按照是否发
在我国现有的经济结构中，农村经济占据绝大一部分，甚至农村经济能够在一定程度上影响到我国整体经济的发展。也正因此，怎样处理好农村的财务管理一直以来都是为比较重要的课题；同
新版《四年防务审查报告》明确提出要设计一个信息时代的人力资源战略，建立新的“国家安全人事系统”。其中，人力资源战略将关注点放在“发展中的总体部队人员和技术的正确融合
分别采用磁性法、金相方法和X射线衍射法测量了GCrl5轴承钢中的残余奥氏体含量，探讨了残余奥氏体含量对GCrl5轴承铜使用寿命的影响。结果表明，磁性法测量GCrl5轴承钢中残余奥氏
目的研究中西医结合治疗胃癌术后肠道功能紊乱的临床效果。方法随机选取2017年1月~2019年1月我院收治的胃癌术后肠道功能紊乱患者60例,根据患者入院先后顺序分成观察组和对照
为了探讨尘肺病人死亡规律和原因,为今后的防治工作提供依据.我们将宁夏地区1994～2001年154例尘肺死亡病例输入数据库,进行汇总统计,使用SPSS10.0对数据进行统计分析.结果显示
唐代长安的大明宫内外共有10处球场,分别位于麟德殿、中和殿、清思殿、飞龙院、东内苑左龙武军、东内苑左神策军、东内苑龙首池南、西内苑梨园、西内苑右神策军、西内苑含光