Automaton-based Confidentiality Monitoring of Concurrent Programs

12 years 9 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noninterference, this paper considers dynamic, automatonbased, monitoring of information flow for a single execution of a concurrent program. The monitoring mechanism is based on a combination of dynamic and static analyses. rogram execution, abstractions of program events to the automaton, which uses the abstractions to track information flows and to control the execution by forbidding or editing dangerous actions. All monitored executions are proved to be noninterfering (soundness) and executions of programs that are well-typed in a security type system similar to the one of Smith and Volpano [23] are proved to be unaltered by the monitor (partial transparency).
Gurvan Le Guernic
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2007
Where CSFW
Authors Gurvan Le Guernic
Comments (0)