- 年份
- 2013（1）
- 2008（1）
- 2007（3）
- 2006（1）
- 更多...
- 核心收录
- 中国科学引文数据库(CSCD)（4）
- 中国科技论文与引文数据库(CSTPCD)（3）
- 北京大学中文核心期刊目录(北大核心)（2）
- 刊名
- 信息工程大学学报（2）
- 云南民族大学学报（自然科学版）（1）
- 南京邮电大学学报（自然科学版）（1）
- 计算机工程（1）
- 通信学报（1）
- 更多...
- 作者单位
- 南京邮电大学（1）
- 昆明理工大学（1）
- 语种
- 汉语（6）
- 关键词
- 安全协议分析（6）
- 概率可观察等价性（2）
- 概率进程（2）
- 进程代数（2）
- BAN逻辑（1）
- Spi演算（1）
- TAM（1）
- 一致性关系（1）
- 串空间（1）
- 单子语义（1）
- 更多...
- 作者
- 王亚弟（2）
- 王全来（2）
- 韩继红（2）
- 仇细平（1）
- 刘礼才（1）
- 孙燕（1）
- 张云生（1）
- 张卫丰（1）
- 张迎周（1）
- 张锋（1）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 6 条结果
- BAN逻辑与串空间的比较
- 多重集合重写与Spi演算的安全协议分析方法CSCD
- 基于概率可观察等价性的安全协议分析CSCD
- 形式语义描述方法研究进展与评价CSTPCD
- 基于概率多项式时间进程的安全协议分析北大核心CSCDCSTPCD
- 基于CSP方法的移动自组织网络认证协议TAM的分析与改进北大核心CSCDCSTPCD