2. 您的位置
3. 首页
4. 学位论文
5. 基于Spi演算的安全协议形式化分析

基于Spi演算的安全协议形式化分析

来源 :上海交通大学 | 被引量 : 0次 | 上传用户：caojunsuper

【作 者】

：

郑清雄 

【出 处】

：

上海交通大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

基于P2P的Botnet研究与实现

学位

一种基于特征向量的Web服务发现算法研究

学位

基于复杂网络的P2P搜索技术研究

学位

基于主题图的Web资源组织研究

学位

拥堵费:免费午餐终将成为过去式

期刊

基于磁盘透明加解密的主机安全管理系统

学位

应用协议的规则提取及优化策略

学位

microRNA在皮肤黑色素瘤血清与毛发中的差异表达

期刊

IPv6网络入侵检测技术的研究与实现

学位

基于指纹与数字水印的网络实名制系统研究与设计

学位