【專利類型】外觀設計【申請人】上海永聯皮具有限公司【申請人類型】企業【申請人地址】200241上海市閔行區虹梅南路3855號【申請人地區】中國【申請人城市】上海市【申請人區縣】閔行區【申請號】CN200630040804.0【申請日】200
【摘要】 本發明涉及的是一種計算機網絡安全技術領域 的支持大規模多用戶的安全協議驗證實驗系統的實現方法。使 用B/S架構實現安全協議的分布式驗證，并且支持多用戶的并 發操作，從用戶端界面獲取安全協議的形式化輸入，根據輸入 內容構造協議交換的消息項，用戶提交的協議文本提取協議分 析中使用的數據，提供多用戶同時并發操作，分別使用基于串 空間模型和擴展BSW邏輯的協議分析算法對輸入的協議分析 分析驗證，最后產生輸出協議的分析結果并以文本方式返回給 用戶。本發明對安全協議能夠進行更科學準確地說明和驗證， 解決了原有形式化方法模型定義不完整，對被用于多用戶并發 的安全協議驗證實驗，算法的結果準確，運行效率高。 【專利類型】發明申請 【申請人】上海交通大學 【申請人類型】學校 【申請人地址】200240上海市閔行區東川路800號 【申請人地區】中國 【申請人城市】上海市 【申請人區縣】閔行區 【申請號】CN200610116299.2 【申請日】2006-09-21 【申請年份】2006 【公開公告號】CN1925488A 【公開公告日】2007-03-07 【公開公告年份】2007 【發明人】楊樹堂; 陸松年; 張愛新; 李謝華; 趙成明; 王鵬 【主權項內容】1、一種支持大規模多用戶的安全協議驗證實驗系統的實現方法，其特征在 于，使用B/S架構實現安全協議的分布式驗證，并且支持多用戶的并發操作，從 用戶端界面獲取安全協議的形式化輸入，根據輸入內容構造協議交換的消息項， 用戶提交的協議文本提取協議分析中使用的數據，提供多用戶同時并發操作，分 別使用基于串空間模型和擴展BSW邏輯的協議分析算法對輸入的協議分析分析 驗證，最后產生輸出協議的分析結果并以文本方式返回給用戶。。www.macrodatas.cn 【當前權利人】上海交通大學 【當前專利權人地址】上海市閔行區東川路800號 【統一社會信用代碼】1210000042500615X0 【被引證次數】TRUE 【家族被引證次數】TRUE
未經允許不得轉載：http://m.mhvdw.cn/1775582967.html
喜歡就贊一下
