2. 您的位置
3. 首页
4. 学位论文
5. 基于增量式可满足性求解的安全协议形式化验证方法

基于增量式可满足性求解的安全协议形式化验证方法

来源 :北京交通大学 | 被引量 : 2次 | 上传用户：linyasa

【作 者】

：

武涛 

【出 处】

：

北京交通大学

【发表日期】

：

2009年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于OpenWrt与ZigBee的远程分布式物联网监控系统设计

期刊

用于多方安全通信的SMC协议的设计与分析

学位

网络处理器高带宽数据总线接口模块设计研究

学位

面向LXR的动态网页加速技术研究与实现

学位

基于CIM的安全管理技术研究与实现

学位

基于Web的高句丽电子文献数据库平台的构建

学位

Web服务安全代理的研究与设计

学位

一种适用于领域专家的WEB数据提取的方法

学位

虚拟专用局域网业务（VPLS）实施方案的初探

学位

对等通信中可靠性问题的研究

学位