Vulnerability Analysis of Clock Synchronization Protocol Using Stochastic Petri Net.

Jiajun Shen Dongqin Feng

Published in: HPCC/CSS/ICESS (2014)

Keyphrases

stochastic petri net
petri net
interprocess communication
power consumption
high speed
lightweight
duty cycle
high quality
security protocols
cryptographic protocols
communication protocols
security analysis
secure communication
tcp ip
pattern classification
smart card
high resolution