| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor
Abstract : We present a novel progress-sensitive, flow-sensitive hybrid information-flow control monitor for an imperative interactive language. Progress-sensitive information-flow control is a strong information security guarantee which ensures that a program’s progress (or lack of) does not leak information. Flow-sensitivity means that this strong security guarantee is enforced fairly precisely: we track information flow according to the source of information and not to an a priori given variable security level. We illustrate our approach on an imperative interactive language. Our hybrid monitor is inlined: source programs are translated, by a type-based analysis, into a target language that supports dynamic security levels. A key benefit of this is that the resulting monitored program is amenable to standard optimization techniques such as partial evaluation.
Cited literature [15 references]
https://hal.inria.fr/hal-01369568
Contributor : Hal Ifip <>
Submitted on : Wednesday, September 21, 2016 - 10:58:42 AM
Last modification on : Monday, July 20, 2020 - 1:06:04 PM
Long-term archiving on: : Thursday, December 22, 2016 - 12:43:54 PM
Contributor : Hal Ifip <>
Submitted on : Wednesday, September 21, 2016 - 10:58:42 AM
Last modification on : Monday, July 20, 2020 - 1:06:04 PM
Long-term archiving on: : Thursday, December 22, 2016 - 12:43:54 PM
File
421518_1_En_24_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License