Login / Signup

Formal verification of the Merchant Registration phase of the SET protocol.

Xiaoqi MaXiao-Chun Cheng
Published in: Int. J. Autom. Comput. (2005)
Keyphrases
  • formal verification
  • coloured petri nets
  • image registration
  • small number
  • model checker
  • reinforcement learning
  • model checking
  • registration errors