位置：成果数据库 > 期刊 > 期刊详情页
基于约束构造算法的密码协议安全性分析
  • 期刊名称：中国科学E辑
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：北京航空航天大学
  • 页码：1009-1030
  • 语言：中文
  • 相关项目：安全协议设计及其形式化理论
作者： 李先贤|怀进鹏|
同期刊论文项目
安全协议设计及其形式化理论
期刊论文 4 获奖 2 著作 6
同项目期刊论文
SPA :新的高效安全协议分析系统
密码协议的代数模型及其安全性
基于有穷自动机的网络扫描检测算法研究与实现