基于逻辑编程的EKE协议分析

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于逻辑编程的EKE协议分析

王全来;韩继红;王亚弟

EKE Protocols Analysis Based on Logic Programming

WANG Quanlai; HAN Jihong; WANG Yadi

计算机工程 . 2007, (05): 112 -113 . DOI: 10.3969/j.issn.1000-3428.2007.05.039