2015
DOI: 10.4018/ijitwe.2015010101
|View full text |Cite
|
Sign up to set email alerts
|

Checking Opacity of Vulnerable Critical Systems On-The-Fly

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 o… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
4
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 7 publications
(6 citation statements)
references
References 20 publications
0
4
0
Order By: Relevance
“…The SOG allows the on-the-fly-verification of opacity variants: simple, K-step weak and K-step strong opacity [2]. It also allows the detection of cases of opacity violation.…”
Section: Symbolic Observation Graphmentioning
confidence: 99%
See 3 more Smart Citations
“…The SOG allows the on-the-fly-verification of opacity variants: simple, K-step weak and K-step strong opacity [2]. It also allows the detection of cases of opacity violation.…”
Section: Symbolic Observation Graphmentioning
confidence: 99%
“…if (a ⊆ S) then The verification is performed on LTS-modeled systems. Taking into account that we are trying to opacify Petri nets, the first modification needed to the algorithm presented in [2] consists in replacing the input by a Petri net-modeled system. The petri net has 2 sets of transitions: observable and unobservable actions, and a set of secret marking subsequently representing the states judged to be secret in the LTS.…”
Section: The Sog-based Algorithm For the Verification Of Simple Opacitymentioning
confidence: 99%
See 2 more Smart Citations
“…In these systems, most of the communication is ensured via web services that offer quasiunlimited resources and computational power. However, companies face new challenges concerning security [1][2][3][4] and timing constraints [9][10][11]19]. A web service is a software system designed to support interoperable machine-to-machine interaction over a network [6].…”
Section: Introductionmentioning
confidence: 99%