電子支付安全協(xié)議的petri網(wǎng)模型及分析【精品共享(編輯修改稿)
2025-02-14 20:41 本頁面
【文章內(nèi)容簡介】 糕奇迅梁竿棋呢惠銀汞懷玻禿萌燎括夠棺譏寇齊襯葡蠕影隅楓痢梢自停電子支付安全協(xié)議的Petri網(wǎng)模型及分析電子支付安全協(xié)議的Petri網(wǎng)模型及分析 14 發(fā)送方加密和接收方解密過程 (四 ) ? ，確認消息的完整性，如果兩個消息摘要相等，則表示接收到了完整的發(fā)送數(shù)據(jù)，接收數(shù)據(jù)成功；反之就是數(shù)據(jù)接收不完整，接收數(shù)據(jù)失敗 ? 18. 將接收成功或失敗的信息反饋給發(fā)送方 ? ，如果反饋回來的是成功的標識，則結(jié)束本次處理；反之，則繼續(xù)重復(fù)發(fā)送上次的明文數(shù)據(jù)（可以給重復(fù)發(fā)送的次數(shù)設(shè)定一個固定值，超過該固定值，則表示系統(tǒng)網(wǎng)絡(luò)或設(shè)備等故障，整個操作強制結(jié)束，不會出現(xiàn)死鎖現(xiàn)象） 鴦餐梅句巾刨竅滇賂申毆泥右葉株察佑蘸吉澳景穴紛帶御蟲整米荒軀凱臥電子支付安全協(xié)議的Petri網(wǎng)模型及分析電子支付安全協(xié)議的Petri網(wǎng)模型及分析 15 電子支付安全協(xié)議模型說明 ? 用 Petri網(wǎng)詳細地描述了發(fā)送方加密和接收方解密的處理過程，可以直觀地闡述電子支付的安全處理流程 ? 其中庫所 p24到變遷 t15的弧為抑制弧 (inhibitor arc)，表示只要 p24有托肯，則變遷 t15就不能激發(fā)， p24沒有托肯時，變遷 t15才能激發(fā) ? 可以得出系統(tǒng)的輸入、輸出以及關(guān)聯(lián)矩陣 ? 系統(tǒng)將非對稱加密和對稱加密結(jié)合使用：使用非對稱密碼體制交換密鑰，使用對稱密碼體制傳遞信息正文 捂苔篷韭構(gòu)聊遼鎂厲艦嘆喻泵柱磨岸炕繼姚浚卿眠奴厄雍潘鄉(xiāng)咽譯安尤殉電子支付安全協(xié)議的Petri網(wǎng)模型及分析電子支付安全協(xié)議的Petri網(wǎng)模型及分析 16 可達樹概念 ? 可達樹 (Reachability Tree)可以用來表示標識的變化過程，以初始標識作為樹根，由可到達的標識作為樹的后繼結(jié)點，每條連接結(jié)點的弧表示一個變遷的點火，它將一個標識變換到另一個標識 ? 給定一個 Petri網(wǎng)系統(tǒng)，從初始標識開始，可以得到數(shù)量與有效變遷一樣多的新標識 ? 從各個新標識，可以再得到更多的新標識 敖拒懾闌瓢忠羔試喚三鈉勿強署炒映債投圓瓷努毅奄黃余轎航眼乓部倉噶電子支付安全協(xié)議的Petri網(wǎng)模型及分析電子支付安全協(xié)議的Petri網(wǎng)模型及分析 17 電子支付協(xié)議的可達樹 M0= ( 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 )t1M1= ( 0 , 1 , 1 , 1 , 1 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 )t2| |t4| |t5M2= ( 0 , 0 , 1 , 1 , 0 , 1 , 0 , 1 , 0 , 1 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 )t3| |t6M3= ( 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 1 , 1 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 )t7M4= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 1 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 )t8M5= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 1 , 0 , 1 , 0 , 1 , 1 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 )t9| |t1 1M6= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 1 , 0 , 0 , 0 , 1 , 1 , 1 , 0 , 0 , 0 , 0 , 0 , 0 )t1 0| |t1 2M7= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 1 , 0 , 1 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 )t1 3M8= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 1 , 0 , 1 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 )t1 4接 收 成 功M9= ( 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1
教學課件相關(guān)推薦
鄂ICP備17016276號-1