高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
安全协议实现技术及其在实验教学中的应用
作者：
收录：
摘要：
安全协议设计实验平台集成HLPSL协议设计语言、OFMC后台分析工具、CL-ATSE后台分析工具、SATMC后台分析工具及TA4SP后台分析工具等四种攻击工具，可以实现学生设计的安全协议，并验证协议的安全性。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2013，实验技术与管理
2013，实验室研究与探索
2014，实验技术与管理
2008，科技进步与对策
来源 ：
中国教育技术装备
ISSN： 1671-489X
年份： 2015
期： 4
页码： 35-37
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： -1
中文被引频次：
近30日浏览量： 0
归属院系：
信息学部
全文获取
外部链接：
