基于通信顺序进程方法的RSSP-II通信协议安全性分析

陆德彪, 和晟姣, 王剑

RSSP-II Protocol Security Analysis Based on Communicating Sequential Process Method

Debiao LU, Shengjiao HE, Jian WANG

信息网络安全 . 2016, (7): 7 -8 . DOI: 10.3969/j.issn.1671-1122.2016.07.002