Design and formal verification of a CEM protocol with transparent TTP.

Zhiyuan Liu Jun Pang Chenyi Zhang

Published in: Frontiers Comput. Sci. (2013)

Keyphrases

formal verification
coloured petri nets
model checking
model checker
design process
bounded model checking
case study
reinforcement learning
user interface
software architecture
contingency tables
tcp ip
cryptographic protocols