-
公开(公告)号：CN1925488A
公开(公告)日：2007-03-07
申请号：CN200610116299.2
申请日：2006-09-21
Applicant: 上海交通大学
IPC: H04L29/06
Abstract: 本发明涉及的是一种计算机网络安全技术领域的支持大规模多用户的安全协议验证实验系统的实现方法。使用B/S架构实现安全协议的分布式验证，并且支持多用户的并发操作，从用户端界面获取安全协议的形式化输入，根据输入内容构造协议交换的消息项，用户提交的协议文本提取协议分析中使用的数据，提供多用户同时并发操作，分别使用基于串空间模型和扩展BSW逻辑的协议分析算法对输入的协议分析分析验证，最后产生输出协议的分析结果并以文本方式返回给用户。本发明对安全协议能够进行更科学准确地说明和验证，解决了原有形式化方法模型定义不完整，对被用于多用户并发的安全协议验证实验，算法的结果准确，运行效率高。
Search Results
1
records
(took 0.014 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
