论文部分内容阅读
SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证,并得到SET协议的一个缺陷,最后讨论了一些利用此缺陷而存在的攻击.
用SMV验证SET协议的安全性
【摘 要】
：
SMV是一个基于线性时态逻辑的符号化模型检验工具.本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证,并得到SET协议的一个缺陷,最后讨论了一些利用此缺陷而存在的
【机 构】
：
西南科技大学计算机科学与技术学院
【出 处】
：
中国科技博览
【发表日期】
：
2004年期
其他文献
工程不仅要求混凝土工作性能好、强度指标高、耐久性好等,而且还要求混凝土结构有光洁如镜的外观,尤其是清水混凝土结构要求更为突出,为此给我们提出一个新的课题,即如何保证
计算机网络技术可以说是当前业界最为热门的技术之一,我们可以把网络划分为两个部分:骨干网和接入网.接入网即是终端用户和骨干网络之间的连接部分.随着骨干网速度的快速提升
电气工程及其自动化专业对于实践能力的培养具有很高的要求，本文针对其专业特点，结合学院实验室自身条件提出了一系列改革与创新的举措，通过实施这些措施，教师的教学水平得到了一
在水利建设工程众多技术问题中,混凝土裂缝问题是施工过程中的通病和难题.本文对水利工程混凝土施工中一些常见的裂缝问题进行了分析,并结合实践中的经验探讨了一些预防措施.
通过对连续墙的分类和优缺点简述,以槽板式地下连续墙为例,对连续墙施工过程中常见的质量病进行分析,根据在软土地层中的放工经验,制定了相应的解决方案.
本文结合我国对高等院校大力开展素质教育和本校学生的实际情况，探讨如何在运动控制系统讲授和学习过程中培养学生的自主创新精神，提高学生的创新意识。并提出注重课程相关最新
计算机动画顺应时代的发展,应用范围也越来越广,涉及众多行业。而优秀的计算机动画设计师成为该行业较为抢手的人才。本文对该专业的独特之处和应用领域进行陈述,随后针对大专院校在教学中存在的问题给予剖析,并提出相应的改革措施,打破落后的教学模式,创建良好的教学机制,为学生步入社会奠定扎实的基础。
《出纳实务》这门课程是会计电算化专业课程体系一门专业核心必修岗位课程,课程有很强的实践性,针对这样的课程传统的教学方法将不再适应,采用行动导向教学法就非常有必要,能
在IT行业,对大型电子产品开发研制的管理模式已逐步走向了现代项目管理模式,在产品的开发研制过程中,实现项目管理的计划与控制不是一个难点,难的是如何寻求到一套成功的实现
飞行院校要完成培养高质量的飞行与指挥人才的任职教育任务，必须采用合理有效的教学方法。分析制约飞行院校教学方法的因素不仅可以改善教学方法，达到最佳教学效果；还能提升飞行