Simulation and Verification of Protocol Using Deductive Machine.

Richard Lai Xiaobo Li

Published in: Simul. (1995)

Keyphrases

colored petri nets
network simulator
model checking
formal analysis
cryptographic protocols
protocol specification
data sets
lightweight
simulation model
model checker
coloured petri nets
simulation study
signature verification
batch processing