论文部分内容阅读
安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分析和着色petri网可达性矩阵的基础之上,并采用具体协议来验证该方法的有效性。
一种基于Petri网的安全协议验证方法
【摘 要】
：
安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分
【机 构】
：
江南大学信息工程学院
【出 处】
：
微计算机信息
【发表日期】
：
2010年15期
其他文献
基于烷氧基镁载体的Ziegler-Natta聚乙烯催化剂具有活性高、氢调性能好等优点,是目前聚烯烃工业中的研究热点。介绍了烷氧基镁载体的发展进程,综述了烷氧基镁载体的制备及改
西部地区拥有十分丰富的资源,发挥西部的资源优势,促进西部地区的经济发展是西部大开发中迫切需要解决的问题.从如何认识西部地区的资源优势入手,提出了西部地区资源开发可供
动床阻力在冲积河道洪水演进与河床冲淤计算中具有十分重要的作用。黄河下游不同水沙条件下的床面形态变化较大,动床阻力变化规律十分复杂,因此需要研究动床阻力的计算方法。
信用是市场经济运行的前提与基础.信用的发展,是深深根植于现代市场经济发展规律中的,是人类社会经济进步的必然趋势.新经济彻底改变了传统的经济运行机制,改变了人们的生活
目的:对首发精神分裂症患者在采用早期综合干预以后治疗依从性与睡眠质量的影响进行探究。方法:选取2019年1月至2020年5月黑龙江省第三医院收治的首发精神分裂症患者80例作为
语言与法律的关系十分密切,对于以法律为主的法律人而言,通过语言追问法律乃是法律人的学术使命.人类法律发展的历史,也是一部运用语言追问法律意义的历史,对于一生欲治法学
掌握滩涂演变规律是保护和开发滩涂资源的重要依据,杭州湾水沙条件复杂,人类活动强度大,滩涂演变机制复杂。基于杭州湾近60 a(1959—2019年)水文地形监测资料,结合促淤围涂进
我能应邀参加这一次的盛会,感到十分荣幸,也非常高兴.不过我预先要向诸位先生表示遗憾:这篇报告和前几天在北京举行的纪念吕叔湘先生百年诞辰研讨会上发表的是一个稿子.我没