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

 
  • 摘要针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。
今日热词
目录 附录 查词历史