Distributed algorithm to fight the state explosion problem

2018 ◽  
Vol 8 (3) ◽  
pp. 398
Author(s):  
Lamia Allal ◽  
Ghalem Belalem ◽  
Philippe Dhaussy ◽  
Ciprian Teodorov
Keyword(s):  
Distributed Algorithm ◽  
The State ◽  
State Explosion ◽  
State Explosion Problem

Distributed algorithm to fight the state explosion problem

2018 ◽  
Vol 8 (3) ◽  
pp. 398
Author(s):  
Ciprian Teodorov ◽  
Philippe Dhaussy ◽  
Lamia Allal ◽  
Ghalem Belalem
Keyword(s):  
Distributed Algorithm ◽  
The State ◽  
State Explosion ◽  
State Explosion Problem

Checking Opacity of Vulnerable Critical Systems On-The-Fly

2015 ◽  
Vol 10 (1) ◽  
pp. 1-30 ◽  
Author(s):  
Amina Bourouis ◽  
Kais Klai ◽  
Yamen El Touati ◽  
Nejib Ben Hadj-Alouane
Keyword(s):  
Model Checking ◽  
Efficient Algorithms ◽  
The State ◽  
Experimental Results ◽  
Critical Systems ◽  
State Explosion ◽  
Transition Systems ◽  
State Explosion Problem ◽  
Formal Definitions ◽  
Security Property

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.

Simulation-verification: biting at the state explosion problem

2001 ◽  
Vol 27 (7) ◽  
pp. 599-617 ◽  
Author(s):  
D.A. Stuart ◽  
M. Brockmeyer ◽  
A.K. Mok ◽  
F. Jahanian
Keyword(s):  
The State ◽  
State Explosion ◽  
State Explosion Problem
Sign in / Sign up

Export Citation Format

Share Document