论文部分内容阅读
安全协议验证是网络安全领域中重大课题之一,目前对安全协议进行分析的主流方法是形式化方法。该文对现在常用的几种形式化验证方法进行了概述和分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
安全协议的形式化验证方法概述
【摘 要】
：
安全协议验证是网络安全领域中重大课题之一,目前对安全协议进行分析的主流方法是形式化方法。该文对现在常用的几种形式化验证方法进行了概述和分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
【机 构】
：
南昌大学信息工程学院
【出 处】
：
计算机安全
【发表日期】
：
2007年01期
其他文献
在进入21世纪的新时代之后,我国高校体育教学也发生了本质上的改革,高校体育教学改革的理论也得到相关教育部门颁发的文件的支持,并将理论应用到教学实践过程中,在教学形式、
以C6H6／N2混合气为代表，疏水性聚丙烯中空纤维膜为气液接触膜，n-甲酰吗啉（NFM，n-formylmorpholine）水溶液为吸收剂，研究了膜气体吸收法分离VOCs／N2混合气性能。考察了吸收剂流量、吸
创新教育是高等学校内在的本质需要和实践要求,培养学生的创新能力是高校学校教育的主要任务之一。高校教育应根据时代的发展,适应现代社会对人才的要求,适时对教学模式进行
【正】在中国歌坛上,邓丽君是一面旗帜。在一个全国流行灰色和严肃的阶级爱情的年代,她的声音被喻为糜糜之音,但那种靡靡之音,却让人们的心里悄悄地甜蜜,她的歌可以让人忘记
作为一种提升人民综合素质水平的教学导向,高职阶段的教学不仅要从学生的职业能力培养入手,通过对相关课程的设置与完善来构成高职语文职业化教学。而在培养学生的过程中,广
随着社会经济发展,城市里高楼林立,高空抛物侵权案件频发,在诉讼中又多因责任难以确定造成判决难、执行难。我国2010年7月1日起实施的《侵权责任法》第87条也没有对建筑物坠
美国作为世界第一大经济体,其经济发展模式对全球经济产生着重要的影响。中美两国互为第一大贸易伙伴,对美国经济发展历史、发展现状和未来预判的分析和研究,对我国经济保持
农药污染,一直是令世界各国政府颇感头痛的问题。人类发明农药,本意在于杀灭害虫,却想不到最终还会杀到自己头上,此所谓“有一利必有一弊”,即使在科学昌明、法制严格的美国,
体育教学作为中专学校日常教学内容中的一部分，它的存在不仅仪是课堂上让学生跑跑步，做做操，或者进行几项简单的活动项目，就算完成了教学任务。而是体育教学的最终目标是让学生在