Modeling and Verification of a Time-triggered Networking Protocol.

Gabriel Leen Donal Heffernan

Published in: ICN/ICONS/MCL (2006)

Keyphrases

colored petri nets
cryptographic protocols
formal analysis
data sets
petri net
modeling method
security analysis
peer to peer
lightweight
distributed computing
multi agent systems
sensor networks
asynchronous circuits