安全协议的CSP描述技术
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在...
基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论,并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷,重点研究如何在...
生成会话rsa密钥...
RFC 3372协议 中文版 应用于电话的会话初始化协议:内容和体系...
多方会话消息之实例讲解 多方会话消息之实例讲解...
台湾smpp协议2的中文描述...