Addressing State Explosion in Behavior Protocol Verification.

Martin Mach Frantisek Plasil

Published in: SNPD (2004)

Keyphrases

cryptographic protocols
state space
dynamic behavior
learning algorithm
lightweight
model checking
state information
database systems
state transition
behavior analysis
state transitions
formal proof