Indexed by：
Abstract：
安全协议设计实验平台集成HLPSL协议设计语言、OFMC后台分析工具、CL-ATSE后台分析工具、SATMC后台分析工具及TA4SP后台分析工具等四种攻击工具，可以实现学生设计的安全协议，并验证协议的安全性。
Keyword：
Reprint Author's Address：
Email：
Source ：
中国教育技术装备
ISSN： 1671-489X
Year： 2015
Issue： 4
Page： 35-37
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 9
Affiliated Colleges：
