一种安全协议自动化设计实现方法

摘要

一种安全协议自动化设计实现方法，使用C/S系统结构设计，支持多用户并发操作，从客户端界面输入协议安全要素，在服务器端经形式化语言转换把其转换成基于扩展串空间模型的协议形式化语言描述内容，并根据消息机密性规则、协议认证正确性规则以及协议抗拒绝服务规则，采用优化匹配算法，选择性地自动进行优化匹配，生成符合要求的形式化协议消息内容；然后对所生成的形式化协议消息内容进行解释变换，生成常规的协议消息内容；最后由安全协议输出将所生成的常规协议消息内容由服务器端返回至客户端，在客户端IE浏览器界面以文本格式或图形格式进行输出。本发明系统采用C/S结构，可支持多用户并发操作，进一步提高了有效性。