Paper Info
Title
Modeling and verification of security properties for critical infrastructure protection
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.
Year
DOI
Venue
2013
10.1145/2459976.2459983
CSIIRW
Keywords
DocType
Citations 
information flow security property,critical infrastructure,process algebra,critical infrastructure protection,behavioral equivalence,security analysis,new security issue,advanced electric smart grid,representative cps,cyber-physical system,security property,dnp3,scada
Conference
0
PageRank 
References 
Authors
0.34
7
2
Name
Order
Citations
PageRank
Ravi Akella1525.28
Bruce McMillin226440.75