论文部分内容阅读
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.
怎样用好AVISPA工具
【摘 要】
：
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.
【机 构】
：
现代通信国家重点实验室,总参谋部通信部驻成都地区军代室
【出 处】
：
信息安全与通信保密
【发表日期】
：
2004年期
【基金项目】
：
现代通信国家重点实验室基金
其他文献
文章分析了新时期市场营销观念,认为,实现企业诸目标的关键在于正确确定目标市场的需要和欲望,企业在开发一种产品时,更需要引导和培育消费者观念或者直接去依照消费者的观念
城市滨水区已成为改善城市生态和人居环境的一个重要因素，是城市与自然合理交融的一个关键地带。城市滨江水岸所形成的湿地对城市具有相当重要的作用，文章从景观生态学视角分析
本文概述了建筑电气设计的主要基本内容，以及建筑电气设计中相关的节能技术措施，从而针对建筑电气设计中的供配电系统及电气设备选型进行了详细地探讨，旨在提高建筑电气设计的质
本文以暖通设计为例，首先介绍了建筑工程暖通设计的基本原则，重点分析了建筑工程暖通设计的注意事项，同时提出了建筑工程暖通设计的改进对策。
要在竞争日益激烈的建筑市场中提高企业竞争力，就必须抓好机电安装工程施工技术以及施工过程中的质量管理。为此，加强建筑工程设备安装过程的管理，保障工程设备安装质量，已经成为
机电安装工程是建筑机电工程中的重要组成部分，对其进行质量控制是根本，本文主要分析了机电安装工程中的管理体系、电气安装工程、给排水及采暖安装工程的质量问题，并提出了预防
随着近年来我国经济的飞速发展，人们的生活水平得到了提高，人们对建筑的质量有了更高的要求。混凝土结构作为建筑的不可替代材料，它的结构设计与施工质量被人们逐渐重视。因此，文