TY - GEN
T1 - Behavior computation for smart grid software analysis
AU - Linger, Rick
AU - Pleszkoch, Mark
AU - Prowell, Stacy
AU - Sayre, Kirk
PY - 2011
Y1 - 2011
N2 - Smart grid embedded software is subject to intrusion and compromise with potentially serious consequences. Oak Ridge National Laboratory (ORNL) is conducting research and development in the new technology of software behavior computation to help address this problem. This technology applies mathematical foundations of denotational semantics to compute the behavior of software in all circumstances of use. Behavior computation is implemented in Function eXtraction (FX) systems that perform static semantic analysis on input programs. Research has shown how to make the effects of theoretical limitations on this process, as expressed in the halting problem, arbitrarily small. Behavior computation operates on the functional semantics of programs, and is not subject to the limitations of syntactic recognition or testing. ORNL is applying FX technology to help evaluate cyber security properties in smart grid systems, with initial focus on detecting vulnerabilities in embedded software that controls smart meters.
AB - Smart grid embedded software is subject to intrusion and compromise with potentially serious consequences. Oak Ridge National Laboratory (ORNL) is conducting research and development in the new technology of software behavior computation to help address this problem. This technology applies mathematical foundations of denotational semantics to compute the behavior of software in all circumstances of use. Behavior computation is implemented in Function eXtraction (FX) systems that perform static semantic analysis on input programs. Research has shown how to make the effects of theoretical limitations on this process, as expressed in the halting problem, arbitrarily small. Behavior computation operates on the functional semantics of programs, and is not subject to the limitations of syntactic recognition or testing. ORNL is applying FX technology to help evaluate cyber security properties in smart grid systems, with initial focus on detecting vulnerabilities in embedded software that controls smart meters.
KW - Software behavior computation
KW - smart grid software
UR - http://www.scopus.com/inward/record.url?scp=84862869123&partnerID=8YFLogxK
U2 - 10.1145/2179298.2179354
DO - 10.1145/2179298.2179354
M3 - Conference contribution
AN - SCOPUS:84862869123
SN - 9781450309455
T3 - ACM International Conference Proceeding Series
BT - 7th Annual Cyber Security and Information Intelligence Research Workshop
T2 - 7th Annual Cyber Security and Information Intelligence Research Workshop: Energy Infrastructure Cyber Protection, CSIIRW11
Y2 - 12 October 2011 through 14 October 2011
ER -