论文部分内容阅读
利用有色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）,设计了四个试验,对地面观测资料（常规地面观测资料、加密自动气象站资料）进行敏感性数值试验。
古往今来,借酒抒情,吟诗作赋,乃是喜欢饮酒的文人墨士的一大乐趣。他们从酒壶中倒出的酒回文,字字玑珠,醉人心田,怡人心神,丰富了人们的生活。说起酒,谁都不感到陌生;
目的探讨临床慢性肺源性心脏病心力衰竭患者的治疗方法,从而总结分析治疗体会。方法选取我院自2014年6月至2015年6月收治的150例慢性肺源性心脏病心力衰竭患者进行分析研究,
目的分析总结普外科腹腔镜治疗急腹症的临床效果。方法选择本院在2014年5月-2015年5月接收的78例普外科急腹症患者,按照随机分组的原则将其分成观察组和对照组各39例,采用传
文章依托某一使用近60a的水库工程灌浆加固为背景,根据水库运营特点提出了加固方案,并针对大吸浆量和大漏水通道明确了加固技术要点和方法,最后根据工程的实施,总结了大坝灌
基于4km水平分辨率的WRF-ARW中尺度模式,对2016年7月19日华北地区的极端暴雨过程进行了不同降水微物理过程的对流尺度集合模拟试验。结果表明：各个成员模拟降水的强度、时空分