Security analysis of multilayer SCADA protocols: A Modbus TCP case study

IFIP International Federation for Information Processing

Volumn 253, Issue , 2007, Pages 205-221

  Edmonds, Janica ^a   Papa, Mauricio ^a   Shenoi, Sujeet ^a  

^a UNIVERSITY OF TULSA   (United States)

Author keywords

Formal methods; Modbus TCP; Multilayer protocols; Security analysis

Indexed keywords

EID: 36248966550     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-75462-8_15     Document Type: Conference Paper

References (18)

1. M. Abadi and B. Blanchet, Analyzing security protocols with secrecy types and logic programs, Journal of the ACM, vol. 52(1), pp. 102-146, 2005.
2. R. Anderson and R. Needham, Programming Satan's computer, in Computer Science Today: Recent Trends and Developments (LNCS Vol. 1000), J. van Leeuwen (Ed.), Springer-Verlag, Berlin, Germany, pp. 426-440, 1995.
3. A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, P. Heam, O. Kouchnarenko, J. Mantovani, S. Modersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Vigano and L. Vigneron, The AVISPA tool for the automated validation of Internet security protocols and applications, Proceedings of the Seventeenth International Conference on Computer-Aided Verification, pp. 281-285, 2005.
4. D. Basin, S. Modersheim and L. Vigano, An on-the-fly model checker for security protocol analysis, Proceedings of the Eighth European Symposium on Research in Computer Security, pp. 253-270, 2003.
5. D. Dolev and A. Yao, On the security of public key protocols, IEEE Transactions on Information Theory, vol. 29(2), pp. 198-208, 1983.
6. L. Dryburgh and J. Hewitt, Signaling System No. 7 (SS7/C7): Protocol, Architecture and Services, Cisco Press, Indianapolis, Indiana, 2005.
7. J. Edmonds, Security Analysis of Multilayer Protocols in SCADA Networks, Ph.D. Dissertation, Department of Computer Science, University of Tulsa, Tulsa, Oklahoma, 2006.
8. S. Escobar, C. Meadows and J. Meseguer, A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties, Theoretical Computer Science, vol. 367(1-2), pp. 162-202, 2006.
9. L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol. 16(3), pp. 872-923, 1994.
10. G. Lowe, A hierarchy of authentication specifications, Proceedings of the Tenth Computer Security Foundations Workshop, pp. 31-44, 1997.
11. G. Lowe, Casper: A compiler for the analysis of security protocols, Journal of Computer Security, vol. 6, pp. 53-84, 1998.
12. Modbus IDA, MODBUS Application Protocol Specification v1.1a, North Grafton, Massachusetts (www.modbus.org/specs.php), June 4, 2004.
13. Modbus IDA, MODBUS Messaging on TCP/IP Implementation Guide v1.0a, North Grafton, Massachusetts (www.modbus.org/specs.php), June 4, 2004.
14. Modbus.org, MODBUS over Serial Line Specification and Implementation Guide v1.0, North Grafton, Massachusetts (www.modbus.org/specs.php), February 12, 2002.
15. L. Ong, I. Rytina, M. Garcia, H. Schwarzbauer, L. Coene, H. Lin, I. Juhasz, M. Holdrege and C. Sharp, Framework Architecture for Signaling Transport, RFC 2719, October 1999.
16. M. Papa, O. Bremer, J. Hale and S. Shenoi, Formal analysis of E-commerce protocols, IEICE Transactions on Information and Systems, vol. E84-D(10), pp. 1313-1323, 2001.
17. M. Papa, O. Bremer, J. Hale and S. Shenoi, Integrating logics and process calculi for cryptographic protocol analysis, in Security and Privacy in the Age of Uncertainty, D. Gritzalis, S. De Capitani di Vimercati, P. Samarati and S. Katsikas (Eds.), Kluwer, Boston, pp. 349-360, 2003.
18. L. Vigano, Automated security protocol analysis with the AVISPA tool, Proceedings of the Twenty-First Conference on the Mathematical Foundations of Programming Semantics, pp. 61-86, 2006.