支持大规模多用户的安全协议验证实验系统的实现方法技术方案

本发明专利技术涉及的是一种计算机网络安全技术领域的支持大规模多用户的安全协议验证实验系统的实现方法。使用Ｂ／Ｓ架构实现安全协议的分布式验证，并且支持多用户的并发操作，从用户端界面获取安全协议的形式化输入，根据输入内容构造协议交换的消息项，用户提交的协议文本提取协议分析中使用的数据，提供多用户同时并发操作，分别使用基于串空间模型和扩展ＢＳＷ逻辑的协议分析算法对输入的协议分析分析验证，最后产生输出协议的分析结果并以文本方式返回给用户。本发明专利技术对安全协议能够进行更科学准确地说明和验证，解决了原有形式化方法模型定义不完整，对被用于多用户并发的安全协议验证实验，算法的结果准确，运行效率高。

【技术实现步骤摘要】

【技术保护点】
一种支持大规模多用户的安全协议验证实验系统的实现方法，其特征在于，使用Ｂ／Ｓ架构实现安全协议的分布式验证，并且支持多用户的并发操作，从用户端界面获取安全协议的形式化输入，根据输入内容构造协议交换的消息项，用户提交的协议文本提取协议分析中使用的数据，提供多用户同时并发操作，分别使用基于串空间模型和扩展ＢＳＷ逻辑的协议分析算法对输入的协议分析分析验证，最后产生输出协议的分析结果并以文本方式返回给用户。

【技术特征摘要】

【专利技术属性】
技术研发人员：杨树堂，陆松年，张爱新，李谢华，赵成明，王鹏，
申请(专利权)人：上海交通大学，
类型：发明
国别省市：31[中国|上海]