2026-09-20T18:53:06Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/44193 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Campbell, Roy H. Malik, Muhammad Salman 2013-05-24T21:53:51Z 2013-05-24T21:53:51Z 2013-05 2013-05-24T21:53:51Z 2013-05 Inter Control Center Communication Protocol (ICCP) plays a critical role in the Supervisory Control and Data Acquisition (SCADA) architecture by allowing utilities to exchange data in real time. Given the critical nature of ICCP, security of ICCP is of paramount importance to power community. However, the present state of ICCP security can be best described as an afterthought. The protocol itself does not provide strong authentication and authorization primitives. Furthermore, like many other protocols, interpretation of ICCP's standards is subject to user's interpretation and can aggravate the security situation if not interpreted and implemented in a uniform manner. In this work we undertake the task of formalizing parts of ICCP protocol and analyze and address the potential security issues found within those parts. We develop model of the protocol in a model checking tool called UPPAAL and then use Computation Tree Logic (CTL) properties over this model to see if they are valid. Once a problem is identified, we design a checker that can detect exploitation of the identified vulnerabilities. The soundness of these checkers is then verified by validating properties on the system in conjunction with this new checker. Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-04-22T21:26:21Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Malik_MuhammadSalman.pdf: 449451 bytes, checksum: f2564590c6ac6ad056df07efb2ee8831 (MD5) Made available in DSpace on 2013-05-24T21:53:51Z (GMT). No. of bitstreams: 2 Muhammad Salman_Malik.pdf: 449451 bytes, checksum: f2564590c6ac6ad056df07efb2ee8831 (MD5) license.txt: 4071 bytes, checksum: c97d6bf41b64c5f0d855d30990afc382 (MD5) http://hdl.handle.net/2142/44193 en Copyright 2013 Muhammad Salman Malik Security UPPAAL Inter Control Center Communication Protocol (ICCP) Security analysis of inter control center communication protocol using model checking text Computer Science 1434 Computer Science 0112 University of Illinois at Urbana-Champaign Thesis M.S. MS:Computer Science -UIUC 10KS0112MS