论文部分内容阅读
安全协议是网络安全的重要因素，但是它并不完善．我们需要用形式化的方法去分析它是否具有相应的安全属性.本文主要分析了三类典型的安全协议形式化分析方法，研究这些方法的基本思想和优缺点．并提出了形式化分析方法中存在的问题及可行的解决办法.
安全协议的形式化分析方法初探
【摘 要】
：
安全协议是网络安全的重要因素，但是它并不完善．我们需要用形式化的方法去分析它是否具有相应的安全属性.本文主要分析了三类典型的安全协议形式化分析方法，研究这些方法的基本
【机 构】
：
淮北煤炭师范学院
【出 处】
：
内江科技
【发表日期】
：
2007年11期
其他文献
在“《音乐课程标准》研究”实验基础上，将研究与实践相结合，努力解决《课标》向实际教学转轨、音乐课程的校本研究、音乐教师的可持续发展、开发利用音乐课程资源的问题。
深州市国土资源局把行风建设做为推动全局工作的楔入点，紧紧围绕“以工兴市”的大局，制定了以人为本、重信践诺、作风优良、业务提速的十六字工作目标，把群众满意不满意做为衡量
本文分析了我国商业银行市场营销中存在的问题,指出我国商业银行应借鉴发达国家商业银行的成功做法,加强市场营销,以达到拓展业务、改善经营,提高效益的目的.并对我国商业银
效能监察是对监察对象履行职责情况的监督检查，重点解决失职渎职问题，目的是加强勤政建设，增强监察对象的责任心，提高工作效率。国土资源局为了维护执法人员的形象，采取信访、纪检
随着Internet的普及和WWW的迅猛发展,网上信息呈指数增长,如何能在这个浩若烟海的信息空间中快速准确地查找自己需要的信息就显得十分重要。Web个性化推荐的目的是当用户在浏
本文介绍了Visual C++的特点以及图像处理中常用的功能。应用在车牌识别中的车牌定位技术中的二值化,对车辆图像进行前期预处理,通过实例验证了该软件功能强大,语言简洁易学,人机界面友好,应用简单而效果良好。
文章对K4转向架磨耗板安装孔加工的工艺过程进行了全面分析,在保证加工要求等前提下,给出了合理的加工方法和装夹方案。
The article has carried on the comprehensive ana
目前几乎所有的高校都实行了学分制，高职院校也在积极跟进。但笔者以为高职院校由于自身的办学特点，其教育培养目的与学分制有所区别，再加上办学条件所限，实行学分制一定要慎重，不
软件重用会提高软件生成率，缩短开发周期，降低软件开发和维护费用代码级重用是软件重用的最低要求．代码重用的基本方法有使用包含文件、使用模板等，程序员进行代码重用要注意选用
法国哲学家米歇尔·福柯提出了权力话语理论，该理论对翻译理论产生了巨大的影响．为翻译理论的研究提供了新的视角和方法。任何文本的进入，都不可能仅仅停留在语言的层面，必须