2. 您的位置
3. 首页
4. 学位论文
5. 可视化与形式化相结合的安全协议分析与验证

可视化与形式化相结合的安全协议分析与验证

来源 :重庆师范大学 | 被引量 : 0次 | 上传用户：a364444252

【作 者】

：

李忠慧 

【出 处】

：

重庆师范大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

《罗丹艺术论》

期刊

Dact1和Dact3基因在结直肠癌组织中的表达研究

学位

食管癌与贲门癌术后吻合口瘘的平片X线改变及分析

期刊

Ad Hoc网络匿名通信协议研究

学位

基于波形重构的音频误码掩盖算法研究

学位

无线网格网中负载平衡的探索和研究

学位

浙江省2006年流感监测分析

期刊

基于CMMB的采样钟偏移估计与恢复

学位

农民参保行为研究——基于新制度主义的解释网络首发

期刊

应急通信监控系统中故障诊断系统间协同机制的研究

学位