Abstract
Recently, studies have revealed new security issues in critical infrastructures, emphasizing the need for verification of security properties. Any mechanism to verify the security of such systems should merge the cyber and physical aspects in a unified way. This paper proposes a novel direction using process algebras to model and verify security properties within a cyber-physical system (CPS). Specifically, we adopt the π-calculus to perform security analysis of a representative CPS, an advanced electric smart grid. We present the verification of an information flow security property, non- deducibility, defined in terms of more discriminating behavioral equivalences available in π-calculus compared to other process algebras. Copyright 2012 ACM.
Recommended Citation
R. Akella and B. M. Mcmillin, "Modeling and Verification of Security Properties for Critical Infrastructure Protection," ACM International Conference Proceeding Series, article no. 6, Association for Computing Machinery (ACM), Apr 2013.
The definitive version is available at https://doi.org/10.1145/2459976.2459983
Department(s)
Computer Science
International Standard Book Number (ISBN)
978-145031687-3
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Association for Computing Machinery, All rights reserved.
Publication Date
15 Apr 2013
