2. 您的位置
3. 首页
4. 学位论文
5. 网络安全协议的形式化描述与验证

网络安全协议的形式化描述与验证

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

【作 者】

：

代新敏 

【出 处】

：

重庆大学

【发表日期】

：

2018年09期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

Linux下IPv6隧道技术的实现和研究

学位

嵌入式LINUX系统网络管理代理的设计与实现

学位

塞罕坝不同发育阶段白杄人工林林下植被多样性研究

期刊

分布式蠕虫检测与主动防御系统的研究与实现

学位

基于协同过滤的定制电影推荐web服务的设计与实现

学位

地铁壁画设计与公共空间的互动性研究

学位

基于策略的QoS网络管理系统中策略管理工具的研究与设计

学位

用户模型的结构表示及其应用研究

学位

金融科技发展对区域创新绩效的作用研究

期刊

网格的资源调度与管理

学位