| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Enforcement and Validation (at runtime) of Various Notions of Opacity
Abstract : We are interested in the validation of opacity. Opacity models the impossibility for an attacker to retrieve the value of a secret in a system of interest. Roughly speaking, ensuring opacity provides confidentiality of a secret on the system that must not leak to an attacker. More specically, we study how we can model-check, verify and enforce at system runtime, several levels of opacity. Besides existing notions of opacity, we also introduce K-step strong opacity, a more practical notion of opacity that provides a stronger level of confidentiality.
Cited literature [27 references]
https://hal.inria.fr/hal-00987985
Contributor : Hervé Marchand <>
Submitted on : Wednesday, May 7, 2014 - 9:55:30 AM
Last modification on : Thursday, January 7, 2021 - 4:34:28 PM
Long-term archiving on: : Thursday, August 7, 2014 - 11:00:45 AM
Contributor : Hervé Marchand <>
Submitted on : Wednesday, May 7, 2014 - 9:55:30 AM
Last modification on : Thursday, January 7, 2021 - 4:34:28 PM
Long-term archiving on: : Thursday, August 7, 2014 - 11:00:45 AM
File
main.pdf
Files produced by the author(s)