2. 您的位置
3. 首页
4. 学位论文
5. 安全协议形式化描述语言的设计与解析

安全协议形式化描述语言的设计与解析

来源 :解放军信息工程大学 | 被引量 : 2次 | 上传用户：jingqihao

【作 者】

：

张小龙 

【出 处】

：

解放军信息工程大学

【发表日期】

：

2009年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

基于IP承载网的MPLS VPN的设计与实现

学位

基于Rootkit的蜜罐保护技术研究

学位

基于博弈论的对等网络资源共享均衡机制的研究

学位

采取切实有效措施加强对政府投资项目招标投标监管

期刊

基于Web Services的专家系统的研究及应用

学位

考虑低电压穿越全过程的双馈风电机组短路电流计算方法

期刊

基于规则引擎的警报关联系统的设计与实现

学位

WINDOWS系统下的远程密取系统的研究与应用

学位

蜜网系统告警日志分析技术研究

学位

IPv4-IPv6基于NAT-PT的过渡技术的研究

学位