Checking Opacity of Vulnerable Critical Systems On-The-Fly

Amina Bourouis, Kais Klai, Yamen El Touati and Nejib Ben Hadj-Alouane
Additional contact information
Amina Bourouis: OASIS Research Lab/ENIT, University of Tunis El Manar, Tunisia
Kais Klai: LIPN, CNRS UMR 7030 University of Paris 13, Sorbonne Paris City, France
Yamen El Touati: OASIS Research Lab/ENIT, University of Manouba, Tunisia
Nejib Ben Hadj-Alouane: OASIS Research Lab/ENIT, University of Tunis El Manar, Tunisia

International Journal of Information Technology and Web Engineering (IJITWE), 2015, vol. 10, issue 1, 1-30

Abstract: Opacity is a security property capturing a system's ability to keep a subset of its behavior hidden from passive, but knowledgeable, observers. In this paper we use the formal definitions of opacity in three of its forms (simple opacity, -step weak opacity and -step strong opacity), basing on finite Labeled Transition Systems as a model. Then we present efficient algorithms for verifying opacity in all these forms within the context of a hybrid, on-the-fly approach. This approach is based on the construction of a Symbolic Observation Graph (SOG) that allows not only the abstraction of the systems behavior but also the preservation of the structure necessary for conducting opacity checking. Our preliminary experimental results are promising and demonstrate effectiveness facing the state-explosion problem which represents the main drawback of existing model checking techniques.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/ijitwe.2015010101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jitwe0:v:10:y:2015:i:1:p:1-30

Access Statistics for this article

International Journal of Information Technology and Web Engineering (IJITWE) is currently edited by Ghazi I. Alkhatib

More articles in International Journal of Information Technology and Web Engineering (IJITWE) from IGI Global
Bibliographic data for series maintained by Journal Editor ().