切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
怎样用好AVISPA工具
怎样用好AVISPA工具
来源 :信息安全与通信保密 | 被引量 : 0次 | 上传用户:ly110
【摘 要】
:
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.
【作 者】
:
徐梦茗
李斌
肖聪
【机 构】
:
现代通信国家重点实验室,总参谋部通信部驻成都地区军代室
【出 处】
:
信息安全与通信保密
【发表日期】
:
2004年期
【关键词】
:
安全协议
AVISPA
Xemacs
【基金项目】
:
现代通信国家重点实验室基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
AVISPA安全协议分析工具是一套完整、标准的形式化自动分析工具;结合XEmaes模式能够设置更加直观而简便的操作和编译环境,对安全协议进行分析并得出结论.
其他文献
市场营销中的观念转变
文章分析了新时期市场营销观念,认为,实现企业诸目标的关键在于正确确定目标市场的需要和欲望,企业在开发一种产品时,更需要引导和培育消费者观念或者直接去依照消费者的观念
期刊
市场营销
客户需求
营销观念
对建筑机电安装工程施工管理的探讨
本文笔者根据自身的工作经验,从几方面阐述了有效地加强建筑机电安装工程施工质量的管理措施,以期供业界同仁共勉。
期刊
建筑机电
安装工程
施工管理
城市滨水景观的生态设计初探
城市滨水区已成为改善城市生态和人居环境的一个重要因素,是城市与自然合理交融的一个关键地带。城市滨江水岸所形成的湿地对城市具有相当重要的作用,文章从景观生态学视角分析
期刊
滨水区域
湿地
驳岸
生态
新形式下对建筑电气设计中的问题分析
本文概述了建筑电气设计的主要基本内容,以及建筑电气设计中相关的节能技术措施,从而针对建筑电气设计中的供配电系统及电气设备选型进行了详细地探讨,旨在提高建筑电气设计的质
期刊
电气设计
节能技术
配电系统
设备选型
试论暖通设计的注意事项及改进措施
本文以暖通设计为例,首先介绍了建筑工程暖通设计的基本原则,重点分析了建筑工程暖通设计的注意事项,同时提出了建筑工程暖通设计的改进对策。
期刊
建筑工程
暖通设计
基本原则
注意事项
改进对策
做好建筑机电安装施工质量控制措施
要在竞争日益激烈的建筑市场中提高企业竞争力,就必须抓好机电安装工程施工技术以及施工过程中的质量管理。为此,加强建筑工程设备安装过程的管理,保障工程设备安装质量,已经成为
期刊
建筑
机电安装
施工
质量
控制措施
浅谈建筑机电安装的问题及预防
机电安装工程是建筑机电工程中的重要组成部分,对其进行质量控制是根本,本文主要分析了机电安装工程中的管理体系、电气安装工程、给排水及采暖安装工程的质量问题,并提出了预防
期刊
机电安装
问题
预防措施
混凝土结构设计与施工质量探讨
随着近年来我国经济的飞速发展,人们的生活水平得到了提高,人们对建筑的质量有了更高的要求。混凝土结构作为建筑的不可替代材料,它的结构设计与施工质量被人们逐渐重视。因此,文
期刊
混凝土结构
结构设计
施工质量
浅析建筑电气安装的施工技术
本文笔者根据自身的工作经验,从建筑工程中电气安装的主要施工技术做了探讨和阐述,以期供业界同仁共勉。
期刊
建筑工程
电气安装
施工技术
建筑电气设计常见问题分析
本文阐述了建筑电气设计的原则,并对建筑电气设计常见问题进行了分析。
期刊
建筑
电气设计
常见问题
与本文相关的学术论文