【專利類型】外觀設(shè)計【申請人】佳尼特(上海)純水設(shè)備有限公司【申請人類型】企業(yè)【申請人地址】201103上海市閔行區(qū)閔北工業(yè)區(qū)4號街坊C地塊【申請人地區(qū)】中國【申請人城市】上海市【申請人區(qū)縣】閔行區(qū)【申請?zhí)枴緾N200630041864.4
【摘要】 本發(fā)明涉及的是一種計算機網(wǎng)絡(luò)安全技術(shù)領(lǐng)域 的支持大規(guī)模多用戶的安全協(xié)議驗證實驗系統(tǒng)的實現(xiàn)方法。使 用B/S架構(gòu)實現(xiàn)安全協(xié)議的分布式驗證，并且支持多用戶的并 發(fā)操作，從用戶端界面獲取安全協(xié)議的形式化輸入，根據(jù)輸入 內(nèi)容構(gòu)造協(xié)議交換的消息項，用戶提交的協(xié)議文本提取協(xié)議分 析中使用的數(shù)據(jù)，提供多用戶同時并發(fā)操作，分別使用基于串 空間模型和擴展BSW邏輯的協(xié)議分析算法對輸入的協(xié)議分析 分析驗證，最后產(chǎn)生輸出協(xié)議的分析結(jié)果并以文本方式返回給 用戶。本發(fā)明對安全協(xié)議能夠進行更科學(xué)準(zhǔn)確地說明和驗證， 解決了原有形式化方法模型定義不完整，對被用于多用戶并發(fā) 的安全協(xié)議驗證實驗，算法的結(jié)果準(zhǔn)確，運行效率高。 【專利類型】發(fā)明申請 【申請人】上海交通大學(xué) 【申請人類型】學(xué)校 【申請人地址】200240上海市閔行區(qū)東川路800號 【申請人地區(qū)】中國 【申請人城市】上海市 【申請人區(qū)縣】閔行區(qū) 【申請?zhí)枴緾N200610116299.2 【申請日】2006-09-21 【申請年份】2006 【公開公告號】CN1925488A 【公開公告日】2007-03-07 【公開公告年份】2007 【發(fā)明人】楊樹堂; 陸松年; 張愛新; 李謝華; 趙成明; 王鵬 【主權(quán)項內(nèi)容】1、一種支持大規(guī)模多用戶的安全協(xié)議驗證實驗系統(tǒng)的實現(xiàn)方法，其特征在 于，使用B/S架構(gòu)實現(xiàn)安全協(xié)議的分布式驗證，并且支持多用戶的并發(fā)操作，從 用戶端界面獲取安全協(xié)議的形式化輸入，根據(jù)輸入內(nèi)容構(gòu)造協(xié)議交換的消息項， 用戶提交的協(xié)議文本提取協(xié)議分析中使用的數(shù)據(jù)，提供多用戶同時并發(fā)操作，分 別使用基于串空間模型和擴展BSW邏輯的協(xié)議分析算法對輸入的協(xié)議分析分析 驗證，最后產(chǎn)生輸出協(xié)議的分析結(jié)果并以文本方式返回給用戶。。www.macrodatas.cn 【當(dāng)前權(quán)利人】上海交通大學(xué) 【當(dāng)前專利權(quán)人地址】上海市閔行區(qū)東川路800號 【統(tǒng)一社會信用代碼】1210000042500615X0 【被引證次數(shù)】TRUE 【家族被引證次數(shù)】TRUE
未經(jīng)允許不得轉(zhuǎn)載：http://m.sg012.cn/1775582967.html
喜歡就贊一下
