计算机工程2007，Vol.33Issue(5)：112-113,116,3.
基于逻辑编程的EKE协议分析
EKE Protocols Analysis Based on Logic Programming
王全来 1韩继红 2王亚弟1
作者信息
- 1. 解放军信息工程大学电子技术学院,郑州,450004
- 2. 解放军防空兵指挥学院,郑州,450052
- 折叠
摘要
关键词
进程演算/逻辑编程/自动验证/密码协议分类
信息技术与安全科学引用本文复制引用
王全来,韩继红,王亚弟..基于逻辑编程的EKE协议分析[J].计算机工程,2007,33(5):112-113,116,3.
