论文部分内容阅读
本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的安全性进行了严格的形式化证明.文章表明采用基于S_Petri网模型的方法是安全协议形式化分析和安全性证明的一种简洁有效的方法.
基于petri网模型的传感器网络安全协议形式化分析及安全性证明
【摘 要】
：
本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的安全性进行了严格的形式化证明.文章表明采用
【机 构】
：
北京城市学院信息学部
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
【发表日期】
：
2013年期
其他文献
故障现象:一台乐华 CP5439P/N(TDA4501、TDA3566)彩电,开机20 min(分钟)后,出现图像亮度逐渐变暗,彩色时有时无,严重时出现“黑屏”,伴音始终正常。故障分析:从故障现象分析
从普通教师走上科研前沿美国“奋进”号航天飞机8月8日升空,飞向国际空间站。这次机组中最引人注目的成员无疑是55岁的芭芭拉·摩根,她是一位教学多年的小学教师。摩根和其他
联 联合国贸易和发展大会的一项研究表明,中国已成为发展中国家对境外直接投资的最大来源国之一。根据中国外经贸部的统计数字,至2000年底,中国已经在全球140个国家和地区中
我接着说,我们设想,对航空母舰的发展,“七五”开始论证,“八五”搞研究,对平台和飞机的关键课题进行预研,2000年视情况上型号。这样安排,第一,从经费上看,在当前和分摊在今
尚雯婕,一个幼年住在马棚里,从小就经历父母离异的穷人家女孩,贫穷不失志,为了改变自己的现状,发奋苦读,小学、初中、高中一直成绩优秀,最后终于考上了复旦大学,大学毕业被一
问:请介绍电子捕鱼器的制作方法。(何有山) 答【陕西周彦芳】电子捕鱼器实际上是利用无稳多谐振荡器将直流电压变为脉冲交流后,经放大和倍压整流而制成的电子捕鱼、捕鼠等装
研究以性染色体类型已确定且已有性别特异分子标记的黄颡鱼为研究对象,开展高温与皮质醇诱导黄颡鱼(Tachysurus fulvidraco Richardson)XX个体雄性化组织学进程研究,以期为环
对Petri网模型交互后出现变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题.已有的关于变化区域的研究只是涉及到寻找变化区域的方法,对于引起变化区域的责任
“为载人探月铺路的中国第一颗人造月球卫星‘嫦娥1号’已研制完成,正整装待发。”2007年3月6日,全国政协委员、中国绕月探测工程总指挥栾恩杰在接受《国际先驱导报》独家专