Logical verification of secure electronic transactions protocol Academic Article uri icon

authors

  • Chen, Q
  • Wang, J
  • Bai, S
  • Zhang, S
  • Sui, L

publication date

  • March 1, 2000