位置：成果数据库 > 期刊 > 期刊详情页
安全协议自动验证工具的状态剪枝
  • 期刊名称：计算机应用, 2004, Vol. 24. No.8 117-121.
  • 时间：0
  • 相关项目：密码协议分析的理论和方法
作者： 刘学锋, 石昊苏, 薛锐, 周径野
同期刊论文项目
密码协议分析的理论和方法
期刊论文 30 会议论文 1
同项目期刊论文
WWW的信息监控研究.
一个组密钥协商协议的安全性分析
A New Semantic Model for Authe
Dynamic security analysis of g
基于理想的协议安全性分析.
Protect the secrecy in passwor
安全协议的形式化方法与技术
串空间理论扩展.
基于口令认证的密钥交换协议的安
An improved Efficient Self-Hea
Universal Inverting Algorithms
Security analysis of Some Batc
交叉协议安全性分析
AVSP的算法.
分布式拒绝服务攻击的原理与防范
基于零知识集的群组密钥交换方案
A randomized RSA-based partial
基于椭圆曲线的代理多签名方案的
一种可并行的消息认证码
一个组播源认证方案的安全分析
基于椭圆曲线的代理多签名方案的安全性分析
用串空间分析公平交换协议
安全协议的形式化分析技术与方法
有界单向函数的通用求逆算法研究
RBAC实施中国墙策略及其变种的研究
WWW的信息监控研究