信息工程大学学报2007，Vol.8Issue(2)：161-164,4.
基于概率可观察等价性的安全协议分析
Analysis of Security Protocols Based on Probabilistic Observational Equivalence
张锋 1熊选东 1贾学东2
作者信息
- 1. 信息工程大学,电子技术学院,河南,郑州,450004
- 2. 信息工程大学,科研部,河南,郑州,450002
- 折叠
摘要
关键词
进程代数/概率进程/概率可观察等价性/安全协议分析分类
信息技术与安全科学引用本文复制引用
张锋,熊选东,贾学东..基于概率可观察等价性的安全协议分析[J].信息工程大学学报,2007,8(2):161-164,4.
