论文部分内容阅读
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
典型安全协议形式化分析工具比较
【摘 要】
：
介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分
【机 构】
：
南昌大学信息工程学院,江西省计算技术研究所
【出 处】
：
计算机与现代化
【发表日期】
：
2008年05期
其他文献
本课题分析了目前私募股权投资基金的发展状况及设立意义,以山西为案例,研究了在山西设立私募股权投资基金所具备的基础条件、存在的障碍,对山西产业转型和经济发展的重要意
介绍了基于模糊控制的双闭环直流调速系统控制器的设计方案,并比较分析了传统PI与模糊控制的实例,提供了对传统直流双闭环调速系统的一种改进方案。
<正>近期的研究表明SOX11表达有助于套细胞淋巴瘤(MCL)的诊断,包括具有典型形态学改变的cyclin D1阴性MCL。本文作者探讨了SOX11在B细胞非霍奇金淋巴瘤(B-NHL)某些亚型中的表
玛格丽特.杜拉斯晚年创作的《情人》以其高超的叙事技巧和传记性的内容而常被读者认为是一部现实主义之作,更有人认为它就是作者生活的写真。而实际上,杜拉斯却在叙述的真实
文言文教学在高中语文教学中具有举足轻重的地位,无论是新教材还是新读本,文言文都占有较大的比重。基于此,以苏教版高中语文必修三《烛之武退秦师》一课为案例,具体阐述如何
<正>多药耐药(multidrug resistance,MDR)是影响肿瘤化疗疗效及预后的主要因素之一。而P-糖蛋白过度表达是引起多药耐药的常见原因,因此抑制P-糖蛋白介导的外排作用,从而提高
俄语语法中的模糊现象王亚民西北师范大学人类对语言模糊现象的认识由来已久。早在１９０２年，哲学家ＣｈａｒｌｅｓＳ．Ｐｅｉｒｃｅ就给模糊性下了如下定义：“当事物出现几种可能状态时，尽管说话者对这些状态进行了仔
<正> 高效益农业的内涵和特征高效益农业是与自给半自给的低效益传统农业相对而言的。它是按社会主义商品经济原则.根据当地的社会、经济、自然、地理、技术等特点,多层次地
根据森林火灾监测系统中无线传感器网络能耗低的特点,针对DEEC算法的缺点,提出一种改进的分簇路由算法。该方法在考虑网络节点剩余能量的基础上,结合簇头节点覆盖范围内节点