【正文】
drrXp ???; 2 、 識別者 A 將他的認證證書( ) ( , , )C A N a m e v s?和計算結(jié)果X 發(fā)送給驗證者 B ; 3 、 驗證者 B 應(yīng)用信任中心 TA 公開的數(shù)字簽名驗證算法TAV e r,計算( , , )TAV e r N a m e v s來驗證簽名的有效性; 1 、 驗證者 B 選擇一個隨機數(shù) e , 12 te?? ,并將 e 發(fā)給識別者 A ; 2 、 識別者 A 計算1 1 1( ) m o dy r m e q??,2 2 2( ) m o dy r m e q??,并將1y 和2y發(fā)給驗證者 B ; 3 、 驗證者 B 通過計算 1212m o dyy eX v p??? 來驗證身份信息的有效性。 Oka m ot o 身份認證協(xié)議與 Schn or r 身份認證協(xié)議的主要區(qū)別在于:當選擇的計算參數(shù)保證pZ上的離散對數(shù)問題是安全的,則可以證 明Oka m ot o 身份認證協(xié)議就是安全的。該證明過程的基本思想是:識別者A 通過執(zhí)行該認證協(xié)議多項式次向攻擊者 O sc a r 識別自己,假定 O sc ar能夠獲得識別者 A 的秘密指數(shù)1?和2?的某些信息,那么將可以證明識別者 A 和攻擊者 Os car 一起能夠以很高的概率在多項式時間內(nèi)計算出離散對數(shù)12l o gc??? ,這和我們認為離散對數(shù)問題是安全的假設(shè)相矛盾。因此就證明了 Oscar 通過參加協(xié)議一 定不能獲得關(guān)于識別者 A的指數(shù)的任何信息。 攻擊身份的零知識證明例子 ? 象棋大師問題 ? 一個有預(yù)謀的用戶 A想使其他人相信她是一個象棋高手,她可以通過這樣的方法來實現(xiàn):她找到兩位世界頂尖級象棋界高手 B和 C,向他們提出挑戰(zhàn),并定于同一時間,在同一地點的不同房間和他們進行比賽。在比賽的過程中,每當 B或 C下一步棋, A就跑到隔壁的房間如法炮制,走同一步棋。也就是說,盡管 B和 C以為他們都在和 A對弈,但實際的情況是B和 C在彼此對弈。無論最后是 B和 C哪個贏, A總會是某一局棋的得勝者,從而向其他人證明她的確是一名象棋高手。該過程是對身份的零知識證明的一種攻擊。 ?黑手黨騙局 ? A正在 B(黑手黨 )的餐廳吃飯。此時 C(黑手黨)按照計劃來到一家 D開的高檔珠寶店買東西。B和 C隨時可以通過一條秘密的無線電線路保持聯(lián)系,而 A和 D都對即將到來的騙局一無所知。 ?當 A準備結(jié)賬并對 B證明其身份時, B立刻發(fā)信號給 C讓他準備行動,此時的 C早已挑好了許多名貴珠寶,于是他向 D證明他的身份。當D開始提問時, C用無線電把問題傳給 B, B則向 A詢問同樣的問題,得到了答復(fù)后 B再把答案通過無線電傳給 C。