Jiajun Shen, Dongqin Feng. Vulnerability Analysis of Clock Synchronization Protocol Using Stochastic Petri Net. In 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS 2014, Paris, France, August 20-22, 2014. pages 615-620, IEEE, 2014. [doi]
Abstract is missing.