This paper designs a new secure payment protocol by means of the composition method,and verifies its atomicity by SMV.

　
英 美
  • 針對銀行、商家和客戶(hù)對電子支付協(xié)議提出的11條安全需求,應用組合設計方法設計一個(gè)新的安全支付協(xié)議,并用SMV工具分析新協(xié)議的原子性。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan