Correctness proofs for SCADA communication protocols

WMSCI 2005 - The 9th World Multi-Conference on Systemics, Cybernetics and Informatics, Proceedings

Volumn 2, Issue , 2005, Pages 392-397

  Graham, James H ^a   Patel, Sandip C ^a  

^a University of Louisville   (United States)

Author keywords

Communication protocols; Communications security; Correctness proof; Formal analysis; Protocol security; SCADA networks

Indexed keywords

COMMUNICATIONS PROTOCOLS; COMMUNICATIONS SECURITY; CORRECTNESS PROOFS; EXISTING SYSTEMS; FORMAL ANALYSIS; INITIAL DESIGN; PROTOCOL SECURITY; SECURITY CONSIDERATIONS; SECURITY ENHANCEMENTS; SUPERVISORY CONTROL AND DATA ACQUISITION; VERIFICATION METHOD;

COMPUTER CRIME; CRITICAL INFRASTRUCTURES; INFORMATION SCIENCE; NETWORK PROTOCOLS;

CYBERNETICS;

EID: 36249003846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Byres, E., News Release, bcit News, "The Myths and Facts behind Cyber Security Risks for Industrial Control Systems," October 04, 2004.
2. CAPSL: Common Authentication Protocol Specification Language. http://www.csi.sri.com/usersymillen/capsl/capslhome.html
3. Casper Formal Analysis of Security Protocols. http://web.comlab.ox.ac.uk/ oucl/work/gavin.lowe/Securitv/
4. CASRUL. http://www.loria.fr/equipes/cassis/softwares/casrul/
5. "Estelle - A Formal Description Technique Based on an Extended State Transition Model," ISO Standard OSI9074, 1989.
6. EVA Tools. http://www.verimag.irnag.fr/~Liana.Bozga/eva/securifv.php? evafilei-nit=woolamV-m
7. Frost and Sullivan, Company news, "European SCADA systems Market in Dynamic Shape," Octoberl 1, 2001. http://www.engineeringtalk.com/news/fro/ fro144.html
8. Gordon, A., and Jeffrey. A., Cryptographic Protocol Type Checker (CRYPTC), 2002. http://cryptvc.cs.depaul.edu/
9. Graham, J.H. and Patel, S.C., "Security Issues in SCADA Systems", DIAS Technology Review: The International Journal of Business and IT, 1(2), 2005.
10. IEC, "Power system control and associated communications - Data and communication security." https://domino.iec.ch/webstore/webstore.nsf/ artnum/030578
11. Jackson, K.M. and Hruska, J., Computer Security Reference Book, CRC Press, 1992.
12. "LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behavior," ISO Standard OSI 8807, 1989.
13. On-the-Fly Model-Checker (OFMC). http://www2.inf.ethz.ch/~moederss/ research/
14. Patel, S.C., and Graham, J.H, "Security Considerations in DNP3 SCADA Systems", Proceedings of the 17th International Conference on Computer Applications in Industry and Engineering, Orlando, FL, November 17-19, 2004.
15. Sandia National Laboratories, "The Center for SCADA Security." http://www.sandia.gov/scada/liome.htm
16. SPEAR: Security Protocol Engineering and Analysis Resources, version II. http://www.cs.uct.ac.za/Research/DNA/SPEAR2/
17. Spi Calculus and Proveif. http://www.cse.psu.edu/~catuscia/teaching/ cg597/01Fall/lecturenotes/TheSpiCalculus.ppt and http://www.di.ens.fr/~blanchet/ crvpto/proverif-bin.html and http://www.di.ens.fr/~blanchet/crvpto.html
18. Symbolic Trace Analyzer, STA. http://www.dsi.unifi.it/~boreale/tool.html