论文部分内容阅读
形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。
基于Petri网的安全协议形式化分析与验证
【摘 要】
：
形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了
【机 构】
：
贵州工业大学计算机科学与技术系贵州工业大学计算机科学与技术系贵州 贵阳 550003贵州 贵阳
【出 处】
：
贵州科学
【发表日期】
：
2004年3期
【基金项目】
：
贵州省科学技术基金项目:编号:计字(2001)3071号
其他文献
本文通过教学行动研究探讨高专英语阅读教学中如何培养读者语篇分析能力.根据发现的两大问题即辨别和理解主位述位和小句关系的能力弱,提出阅读教学行动方案,在阅读过程采用
为开发某车灯座零件,运用三维扫描技术采集厂家提供零件实体的点云数据,利用UG软件对点云数据进行处理并完成三维CAD模型的重建,然后基于3D打印技术实现对该灯座零件原型的快
一、数学作业有效设计的策略(一)作业设计注重基础性作业设计的基础性即作业设计必须紧紧围绕本节课的三维目标设计不同内容、不同水平、不同形式的作业题,为实现教学目标服
<正> 卫生间地面及墙面渗水,在施工中已成为辣手的难题。究其主要原因:多数在施工中先在地面上开孔,后下管,这样就出现了所凿开的孔径大于管径,造成管体与地面开孔处出现了一
油田勘探开发初期,构造隆起的高部位一般是油气藏开发重点。随着勘探开发的深入,特别是到了油田注水开发的中、后期,油田挖潜调整的重点转至寻找剩余油。剩余油分布的主控因
运用实验和ANSYS软件仿真相结合的方法,对阴极-热子组件内侧热屏开槽后整个组件的温度和热流进行了研究。结果表明：在内侧热屏上适当的开槽可以改善阴极-热子组件的热学性能,