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