基于Spi演算的密码协议的控制流分析

检索

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

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

基于Spi演算的密码协议的控制流分析

王全来;;王亚弟;韩继红

Control Flow Analysis of Cryptography Protocols
Based on Spi Calculus

WANG Quanlai;;WANG Yadi;HAN Jihong

计算机工程 . 2006, (15): 137 -139 . DOI: 10.3969/j.issn.1000-3428.2006.15.049