论文部分内容阅读
利用有色Petri网建模工具CPNtools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
一种基于有色Petri网的安全协议分析方法研究
【摘 要】
：
利用有色Petri网建模工具CPNtools中的查询函数对安全属性进行描述，搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该
【机 构】
：
中国科学院研究生院信息科学与工程学院,中国科学院研究生院工程教育学院
【出 处】
：
微型机与应用
【发表日期】
：
2011年15期
其他文献
目的分析研究肺癌以及良性肿瘤通过不同放射诊断方式进行鉴别诊断的方法以及效果,为临床提供依据。方法选取2014年2月到2015年2月通过CT诊断肺癌和良性肿瘤患者资料60例作为
入学考试．一忧一喜2005年5月初，我和17岁的女儿远涉重洋来到美国，与先期在这里的丈夫团聚，一家人开始了新的生活。出国前，我曾听朋友说，在口常生活中，美国的很多办事机构是靠不住的，
通过对2011年7月31日发生在上海的局地强对流过程,利用快速更新同化系统（SMS-WARR）,设计了四个试验,对地面观测资料（常规地面观测资料、加密自动气象站资料）进行敏感性数值试验。
古往今来,借酒抒情,吟诗作赋,乃是喜欢饮酒的文人墨士的一大乐趣。他们从酒壶中倒出的酒回文,字字玑珠,醉人心田,怡人心神,丰富了人们的生活。说起酒,谁都不感到陌生;