Verification and Enforcement of Opacity Security Properties in ...

Verification and Enforcement of Opacity Security Properties in Discrete Event Systems. · View/Open · Abstract · Subjects · Types · Handle · Metadata.

We consider the enforcement of opacity when the secret is not opaque. Specifically, we propose a novel enforcement mechanism based on event insertion to address ...

Verifying Opacity Properties in Security Systems - AURA Home

Abstract—We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework.

Enforcement of opacity security properties for ship information system

Therefore we proposed a dual layer mechanism to enforce opacity by activating non-essential DCU during secret mission. This mechanism is calculated by two types ...

Enforcement of opacity properties using insertion functions

Abstract: Opacity is a confidentiality property that arises in the analysis of security properties in networked systems. It characterizes whether a “secret” ...

Verifying Opacity Properties in Security Systems - ResearchGate

Download Citation | Verifying Opacity Properties in Security Systems | We delineate a methodology for the specification and verification of ...

Verification and Enforcement of Strong State-Based Opacity ... - arXiv

Mazar´e, “Using unification for opacity properties,” in Proceedings of the Workshop on Issues in the Theory of Security, 2004, pp. 165–176. [7] ...

Current-state opacity verification in discrete event systems using an ...

A recent cyber-security research trend is to focus on security principles and develop the foundations for designing safety-critical systems. In ...

Verification and enforcement of current-state opacity based on a ...

In this study, the current-state opacity verification and enforcement problems in the context of partially-observed discrete event systems are investigated ...

Verifying Opacity Properties in Security Systems - ACM Digital Library

We develop verification techniques for analysing property opacity with respect to observation notions. Adding a probabilistic operator to the ...

Checking and Enforcing Security through Opacity in Healthcare ...

Opacity is a confidentiality property capturing a system's ability to keep a subset of its behavior hidden from passive observers. In this ...

Language-based Opacity Verification and Enforcement in the ...

Opacity is a security property that relates to privacy protection by hiding secret information of a system from an external observer called an “ ...

Language-based Opacity Verification and Enforcement in ... - PubMed

... opacity verification and enforcement problems in discrete event systems modeled with labeled Petri nets. Opacity is a security property that relates to ...

Enforcement and Validation (at runtime) of Various Notions of Opacity

While infras- tructures are becoming more complex, it becomes harder to ensure desired security properties. Usually three dimensions in security are ...

Verification and Enforcement of State-Based Notions of Opacity in ...

As illustrated via examples in the thesis, the above state-based notions of opacity can be used to characterize the security requirements in ...

Checking and Enforcing Security Through Opacity in Healthcare ...

Our main contributions are the use of a tool to verify opacity in three of its forms, so as to detect privacy leaks in our system. Furthermore, we develop an ...

Verification of initial-state opacity in security applications of DES

Motivated by security applications where the initial state of a system needs to be kept secret (opaque) to outside observers (intruders), we formulate, ...

Opacity Enforcement Using Nondeterministic Publicly Known Edit ...

Opacity is an information-flow-based security property that charac- terizes whether a system can defend its secrets from being inferred by an outside intruder ...

Enforcement and Validation (at runtime) of Various Notions of Opacity

While infras- tructures are becoming more complex, it becomes harder to ensure desired security properties. Usually three dimensions in security ...

and k-step opacity using state recognizers - Xiang Yin

Verification of initial-state opacity in security applications of DES. ... Synthesis of insertion functions for enforcement · of opacity security properties.