【摘要】一種可植入人體神經(jīng)系統(tǒng)的簇狀刺激微電極陣列，屬于醫(yī)療假體領(lǐng)域。本發(fā)明包括：金屬絲刺激微電極、金屬絲支撐微電極、金屬絲刺激微電極簇、金屬絲刺激微電極簇陣列、微電極基底，Q個(gè)金屬絲刺激微電極粘合在金屬絲支撐微電極的外壁上組成金屬絲刺激微
【摘要】 本發(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)行效率高。 【專利類型】發(fā)明申請(qǐng) 【申請(qǐng)人】上海交通大學(xué) 【申請(qǐng)人類型】學(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 【公開公告號(hào)】CN1925488A 【公開公告日】2007-03-07 【公開公告年份】2007 【發(fā)明人】楊樹堂; 陸松年; 張愛新; 李謝華; 趙成明; 王鵬 【主權(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)前專利權(quán)人地址】上海市閔行區(qū)東川路800號(hào) 【統(tǒng)一社會(huì)信用代碼】1210000042500615X0 【被引證次數(shù)】TRUE 【家族被引證次數(shù)】TRUE
未經(jīng)允許不得轉(zhuǎn)載：http://m.duba2008.cn/1775582967.html
喜歡就贊一下
