2. 您的位置
3. 首页
4. 学位论文
5. 安全协议形式化分析及其应用

安全协议形式化分析及其应用

来源 :湘潭大学 | 被引量 : 0次 | 上传用户：pzgxsh

【作 者】

：

刘学锋 

【出 处】

：

湘潭大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

六通道球幕投影图像畸变校正及融合板设计网络首发

期刊

视频会议分布式QOS保障系统的研究与实现

学位

X90管线钢激光复合焊焊后热处理研究

学位

基于RBAC模型的通用企业级应用安全框架的研究与实现

学位

企业网网络应用识别系统的研究与实现

学位

高速网络拥塞控制算法HSTCP

学位

基于扩展π演算的分布式事务故障检测模型

学位

流媒体播放系统中P2P网络拓扑结构的研究与实现

学位

扶贫助学,传递爱的“接力棒”

期刊

基于XML用户自定义需求的WEB信息提取研究

学位