基于对象Petri网的网络认证协议表示及分析

来源 :1999信息安全国际会议 | 被引量 : 0次 | 上传用户:woaiwodeqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性,也利于体现协议执行主体可利用的资源。最后,总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。
其他文献
语文是打开知识宝库的一把钥匙,语言是通向科学的桥梁,语言的获得靠积累。 语言材料积累是内化①为个人语言储备的过程,它是表达的基础,是写好作文的基础,也是提高阅读能力的前提。  农村小学生手上能拿出来的阅读材料不多,大多数只有必要的课本,一些检测试卷。加上现在要求的“减负”、“严禁课外读物进校园”,农村小学的藏书量虽说近几年有很大改善,但还是很缺乏的。在资源不足的情况下,如何强化农村小学生语言积累,
【中图分类号】G434 【文献标识码】A 【文章编号】2095-3089(2015)09-0138-01  由于小学生的心里和年龄提点,在小学学科课堂教学中很突出的问题就是学生短时间内的积极性很容易调动,而使学生长时间的、经常处于积极状态是很难办到的。因此,需要驱动学生的好奇心,使学生课堂上的注意力始终保持比较高的集中程度,对新知识的学习、对教师的讲授表现出了一种渴望,使学生由过去被动的接受知识,
近年来,随着人工智能的发展,丰富多样的智能家居产品已进入普通家庭。而人们对家居生活进一步智能化的渴望也越来越强烈,越来越多的人将目光聚焦于家庭服务型机器人上,渴望其
优化关系数据库的查询性能一直是信息系统开发人员关注的重要课题,以SQLServer为例,分析导致对多表连接及查询结果分组时处理低效的原因,阐述了在应用中如何合理地设计SQL语句,以获得较高性能
基于组模型,设计了用于PC机群高效通信的接口,采用对等式邮箱结构,消息的传递采用主动发送、被动接收的方法,很好地解决了紧耦合连接的PC机之间的高效通信问题.
词的教学对于陶冶学生的情操,培养学生的审美情趣,鼓舞学生奋发向上都有着重要的意义。在新课改模式下,结合词的特点,把教材处理成学生学习词的“例子”,精心营造良好的学习氛围,用
【摘 要】本文主要阐述在小学数学教学中,生动有趣的教学情境的重要作用。  【关键词】小学数学 教学 教学情境  【中图分类号】G623.5 【文献标识码】A 【文章编号】2095-3089(2016)34-0255-02  教学情境,是学生参与学习的具体的现实环境。知识具体情境性,是在情境中通過活动而产生的。生动有趣的教学情境,是激励学生主动参与学习的重要保证;是教学过程中的一个重要环节。一个好的
【中图分类号】 G62.28【文献标识码】 A【文章编号】 2095-3089(2016)36-0-01  创新教育是实施素质教育的重要内容,英语教学同样需要创新。作为一名合格的教师,要不断通过自己的创新实践去培养学生的创新精神和实践能力。  在英语教学中如何有效地培养学生的创新思维、创新能力呢?教师如何把创新教育引入到自己的英语教学中呢?结合几年来的英语教学实践,我从以下几个方面浅谈自己的看法。
为探究河岸带湿地乡土植物羊蹄在人工去叶胁迫下的形态学和生理变化规律及其响应特征,并为修复受去叶胁迫严重破坏的河岸带湿地植被生态系统提供可行性依据,以鄱阳湖-乐安河
【摘 要】 数学的练习课是使学生掌握系统的数学基础知识,训练技能技巧的重要途径,也是培养学生能力发展学生智力的重要途径。  【关键词】 小学数学;练习课;能力;智力  【中图分类号】 G623.5【文献标识码】 A【文章编号】 2095-3089(2016)36-0-01  练习是学生掌握知识、形成能力、发展品质的重要环节。数学的练习课是使学生掌握系统的数学基础知识,训练技能·技巧的重要途径,也是