A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION

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