安全协议实现技术及其在实验教学中的应用

摘要

In order to promote undergraduate students project ability, a tool is put forward in this paper. The model includes two parts:one is HLPSL which is a tool to realize security protocols, the other is an attack tool which includes OFMC, CL-ATSE, SATMC and TA4SP models. Undergraduate student project application ability and specialized quality has been promoted, through four years of project teaching.%安全协议设计实验平台集成HLPSL协议设计语言、OFMC后台分析工具、CL-ATSE后台分析工具、SATMC后台分析工具及TA4SP后台分析工具等四种攻击工具，可以实现学生设计的安全协议，并验证协议的安全性。