Welcome to the InfoSci Platform
Reference Hub7
Checking Opacity of Vulnerable Critical Systems On-The-Fly

Checking Opacity of Vulnerable Critical Systems On-The-Fly

Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane
Copyright: © 2015 |Volume: 10 |Issue: 1 |Pages: 30
ISSN: 1554-1045|EISSN: 1554-1053|EISBN13: 9781466676237|DOI: 10.4018/ijitwe.2015010101
Cite Article Cite Article

MLA

Bourouis, Amina, et al. "Checking Opacity of Vulnerable Critical Systems On-The-Fly." IJITWE vol.10, no.1 2015: pp.1-30. http://doi.org/10.4018/ijitwe.2015010101

APA

Bourouis, A., Klai, K., El Touati, Y., & Ben Hadj-Alouane, N. (2015). Checking Opacity of Vulnerable Critical Systems On-The-Fly. International Journal of Information Technology and Web Engineering (IJITWE), 10(1), 1-30. http://doi.org/10.4018/ijitwe.2015010101

Chicago

Bourouis, Amina, et al. "Checking Opacity of Vulnerable Critical Systems On-The-Fly," International Journal of Information Technology and Web Engineering (IJITWE) 10, no.1: 1-30. http://doi.org/10.4018/ijitwe.2015010101

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.