论文部分内容阅读
利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性，提高建模效率，实现时间Petri网的高度模块化，能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。
基于面向对象时间Petri网的密码协议分析
【摘 要】
：
利用面向对象技术和时间Petri网的优点，提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性，提高建模效率，实现时间Petri网的高度模块
【机 构】
：
西北师范大学数学与信息科学学院,华北水利水电学院信息工程学院,西安理工大学工商管理学院
【出 处】
：
计算机工程
【发表日期】
：
2009年13期
【基金项目】
：
国家自然科学基金资助项目（10702065）,陕西省自然科学基金资助项目（2005F45）,西北师大数信学院青年教师基金资助项目
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
所谓精神薪酬,是满足员工心理需要为出发点的一种激励形式,比如:关怀、尊重、表扬等。它是以非物质性、非经济性形式表现出来的。比如工作本身的挑战性、责任感和发展空间以
阅读理解题通常给出一段文字或给出某个数学命题的解题过程,在阅读的基础上,完成要求解决的问题的一类题目称为阅读理解题.解决这类问题的关键是要读懂材料,弄清材料中各种
证券投资基金业己成为全球最重要的机构投资者之一,在我国的发展也是方兴未艾。而基金管理公司在基金的运作和组织体系中处于核心地位,它的发展水平往往决定着一个国家基金业
改革开放以来,随着我国社会主义市场经济体制的不断完善,以及我国社会和经济的快速发展,我国的行政管理体制越来越不能适应我国经济发展的需要。近些年来,我国不断深化行政管
为获取康复外骨骼与人体连接处的接触力信息，根据人一机连接约束情况，设计了一种Stewart型六维力传感器的结构。通过对传感器进行模型分析、结构参数优化和柔性铰链的刚度分析，
从戏剧文化角度看，川剧是一个四川化的戏曲剧种；从地域文化角度看，川剧是一种戏曲化的地方文化；而从剧目形态及其不同时代特征看，川剧不仅继承了戏曲母体的遗产，更富有大量表现自身
汉字教学是汉语教学的重要内容，也是汉字习得的难点之一。就目前中国面向韩国汉字习得者开展的汉字（简体汉字）教学中，因习得者自身教育、文化水平的不同而引发的汉字书写使用中的
信用风险管理水平是我国商业银行与外资银行当前的主要差距所在。信用风险度量模型是当前最为先进的信用风险管理方法之一。加入WTO后,如何提高竞争力和信用风险管理水平是我