密码协议的符号模型检测及分析

密码协议的符号模型检测及分析

龙士工，罗文俊，李祥

Symbolic model checking analysis for cryptographic protocol

LONG Shi-gong, LUO Wen-jun, LI Xiang

计算机应用 . 2005, (01): 138 -140 . DOI: 10.3724/SP.J.1087.2005.0138