Login / Signup

Modeling and Simulation Strategies of Cryptographic Protocols Based on Finite State Machine.

Mingqing ZhangShu-qin DongHongshan KongXiao-hu LiuHui Guan
Published in: ITITS (1) (2015)
Keyphrases
  • finite state machines
  • cryptographic protocols
  • model checking
  • finite state automata
  • information systems
  • standard model
  • digital circuits