2. 您的位置
3. 首页
4. 学位论文
5. 基于串空间模型的安全协议形式化分析方法及其应用

基于串空间模型的安全协议形式化分析方法及其应用

来源 :湖北师范学院 | 被引量 : 0次 | 上传用户：vh600

【作 者】

：

解颜铭 

【出 处】

：

湖北师范学院

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

110/20/0.4kV中压配电网电压等级优化分析

期刊

基于分层的P2P存储系统冗余策略研究

学位

基于改进蚁群优化的组播路由算法研究

学位

面向SOA的消费指南网站跨平台迁移

学位

基于半监督的垃圾图片过滤技术研究

学位

基于GridFTP协议的数据传输性能分析与研究

学位

基于JBI规范的ERN分布式企业服务总线的研究

学位

基于多分类器的入侵检测系统研究及其在气象网络安全中的应用

学位

一个基于访问控制列表的会话数受限防火墙系统的设计与实现

学位

SIW微波毫米波无源电路及太赫兹关键技术研究

学位