Protecting Clock Synchronization: Adversary Detection through Network Monitoring

Journal of Electrical and Computer Engineering

Volumn 2016, Issue , 2016, Pages

  Lisova, Elena ^a   Gutiérrez, Marina ^a,b   Steiner, Wilfried ^b   Uhlemann, Elisabeth ^a   Akerberg, Johan ^a   Dobrin, Radu ^a   Björkman, Mats ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b TTTech North America   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; CLOCKS; INTERNET PROTOCOLS; MECHANICAL CLOCKS; SCHEDULING; STANDARDS;

ADDRESS RESOLUTION PROTOCOL; CLOCK SYNCHRONIZATION; ENVIRONMENTAL CONDITIONS; INDUSTRIAL NETWORKS; MESSAGE SCHEDULING; NETWORK MONITORING; REAL TIME REQUIREMENT; SAFETY CRITICAL APPLICATIONS;

SYNCHRONIZATION;

EID: 84973312270     PISSN: 20900147     EISSN: 20900155     Source Type: Journal    
DOI: 10.1155/2016/6297476     Document Type: Article

References (23)

1. D. Dzung, M. Naedele, T. P. vonHoff, and M. Crevatin, "Security for industrial communication systems, " Proceedings of the IEEE, vol. 93, no. 6, pp. 1152-1177, 2005.
2. E. Lisova, E. Uhlemann, J. Akerberg, and M. Bojrkman, "Towards secure wireless TTEthernet for industrial process automation applications, " in Proceedings of the IEEE Emerging Technology and Factory Automation (ETFA '14), pp. 1-4, Barcelona, Spain, September 2014.
3. E. Lisova, E. Uhlemann, W. Steiner, J. Akerberg, and M. Bjorkman, "A survey of security frameworks suitable for distributed control systems, " in Proceedings of the International Conference on Computing and Network Communications (CoCoNet '15), pp. 205-211, Trivandrum, India, December 2015.
4. E. Lisova, E. Uhlemann, W. Steiner, and J. akerberg, "Risk evaluation of an ARP poisoning attack on clock synchronization for industrial applications, " in Proceedings of the IEEE International Conference on Industrial Technology (ICIT '16), Taipei, Taiwan, 2016.
5. B. Mukherjee, L. T. Heberlein, and K. N. Levitt, "Network intrusion detection, " IEEENetwork, vol. 8, no. 3, pp. 26-41, 1994.
6. A. Armando, D. Basin, Y. Boichut et al., "The AVISPA tool for the automated validation of internet security protocols and applications, " in Computer Aided Verification, K. Etessami and S. K. Rajamani, Eds., vol. 3576 of Lecture Notes in Computer Science, pp. 281-285, Springer, Berlin, Germany, 2005.
7. OMNeT++, January 2015, http://www. omnetpp. org/.
8. M. Ullmann and M. Vogeler, "Delay attacks-implication on NTP and PTP time synchronization, " in Proceedings of the International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS '09), pp. 1-6, October 2009.
9. B. Hirschler and A. Treytl, "Validation and verification of IEEE 1588 annex K, " in Proceedings of the International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS '11), pp. 44-49, Munich, Germany, September 2011.
10. T. Mizrahi, "A game theoretic analysis of delay attacks against time synchronization protocols, " in Proceedings of the International IEEE Symposium on Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS '12), pp. 1-6, San Francisco, Calif, USA, September 2012.
11. M. Gutiérrez, W. Steiner, R. Dobrin, and S. Punnekkat, "A configuration agent based on the time-triggered paradigm for real-time networks, " in Proceedings of the IEEE World Conference on Factory Communication Systems (WFCS '15), pp. 1-4, IEEE, Palma, Majorca, Spain, May 2015.
12. M. Gutiérrez, W. Steiner, R. Dobrin, and S. Punnekkat, "Learning the parameters of periodic traffic based on network measurements, " in Proceedings of the IEEE International Workshop on Measurements & Networking (M&N '15), pp. 1-6, October 2015.
13. L. Heberlein, G. Dias, K. Levitt, B. Mukherjee, J. Wood, and D. Wolber, "A network security monitor, " in Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy, pp. 296-304, IEEE, Oakland, Calif, USA, May 1990.
14. M. Eslahi, M. S. Rohmad, H. Nilsaz, M. V. Naseri, N. Tahir, and H. Hashim, "Periodicity classification of HTTP traffic to detect HTTP Botnets, " in Proceedings of the IEEE Symposium on Computer Applications & Industrial Electronics (ISCAIE '15), pp. 119-123, Langkawi, Malaysia, April 2015.
15. M. Garuba, C. Liu, and D. Fraites, "Intrusion techniques: comparative study of network intrusion detection systems, " in Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG '08), pp. 592-598, Las Vegas, Nev, USA, April 2008.
16. G. Fink, B. Chappell, T. Turner, and K. O'Donoghue, "A metricsbased approach to intrusion detection system evaluation for distributed real-time systems, " in Proceedings 16th the International Parallel and Distributed Processing Symposium (IPDPS '02), Abstracts and CD-ROM, 8 pages, Ft. Lauderdale, Fla, USA, April 2002.
17. IEEE, "IEEE standard for a precision clock synchronization protocol for networked measurement and control systems, " IEEE Std 1588-2008, Revision of IEEE Std 1588-2002, 2008.
18. B. Kang, P. Maynard, K. McLaughlin et al., "Investigating cyber-physical attacks against IEC 61850 photovoltaic inverter installations, " in Proceedings of the IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA '15), pp. 1-8, Luxembourg City, Luxembourg, 2015.
19. TCXO, Temperature Compensated Crystal Oscillator, http:// www. radio-electronics. com/info/data/crystals/tcxo. php.
20. D. Basin, S. Modersheim, and L. Vigano, "OFMC: a symbolic model checker for security protocols, " International Journal of Information Security, vol. 4, no. 3, pp. 181-208, 2005.
21. Y. Glouche, T. Genet, O. Heen, and O. Courtay, "A security protocol animator tool for AVISPA, " in Proceedings of the ARTIST2Workshop on Security Specification and Verification of Embedded Systems, Pisa, Italy, May 2006.
22. INET Framework, June 2015, https://inet. omnetpp. org/.
23. M. Levesque and D. Tipper, "ptp++: a precision time protocol simulation model for OMNeT++/INET, " http://arxiv. org/abs/ 1509. 03169.