计算机工程2007，Vol.33Issue(16)：109-110,113,3.
基于概率多项式时间进程的安全协议分析
Analysis of Security Protocols Based on Probabilistic Polynomial-time Processes
王全来 1王亚弟 2韩继红1
作者信息
- 1. 解放军信息工程大学电子技术学院,郑州,450004
- 2. 解放军防空兵指挥学院,郑州,450052
- 折叠
摘要
关键词
进程代数/概率进程/概率可观察等价性/安全协议分析分类
信息技术与安全科学引用本文复制引用
王全来,王亚弟,韩继红..基于概率多项式时间进程的安全协议分析[J].计算机工程,2007,33(16):109-110,113,3.
