A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION

 
  • 一个安全、原子的电子商务协议及其形式化验证
今日热词
目录 附录 查词历史