Probabilistic Timed Protocol Verification for the Extended State Transition Model.

Chung-Ming Huang Shiun-Wei Lee Jenq-Muh Hsu

Published in: ICPADS (1994)

Keyphrases

state transition model
colored petri nets
cryptographic protocols
state transition
petri net
protocol specification
formal analysis
generative model
appearance model
transition model
machine learning
bayesian networks
probabilistic model
formal verification
state space
model checking