Overview of Opacity in Discrete Event Systems

Ye Guo; Xiaoning Jiang; Chen Guo; Shouguang Wang; Oussama Karoui

doi:10.1109/ACCESS.2020.2977992

IEEE Access (Jan 2020)

Overview of Opacity in Discrete Event Systems

Ye Guo,
Xiaoning Jiang,
Chen Guo,
Shouguang Wang,
Oussama Karoui

Affiliations

Ye Guo: ORCiD; School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China
Xiaoning Jiang: ORCiD; School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China
Chen Guo: ORCiD; School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China
Shouguang Wang: ORCiD; School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China
Oussama Karoui: ORCiD; School of Information and Electronic Engineering, Zhejiang Gongshang University, Hangzhou, China

DOI: https://doi.org/10.1109/ACCESS.2020.2977992
Journal volume & issue: Vol. 8
pp. 48731 – 48741

Abstract

Read online

In recent years, opacity has received increasing attention in terms of analyzing security and privacy problems. Opacity is a confidentiality property that characterizes a system's ability to hide its secret information from any external intruders. A systematic overview of opacity in the context of discrete event systems (DESs) was conducted; this paper firstly reviews the verification methods and computational complexity of the opacity in DESs using the formalisms of automata and Petri nets. When the system is verified to be non-opaque, the approaches that synthesize an opaque system are summarized. Finally, the future research directions and open problems of opacity in DES are also reviewed.

Published in IEEE Access

ISSN: 2169-3536 (Online)
Publisher: IEEE
Country of publisher: United States
LCC subjects: Technology: Electrical engineering. Electronics. Nuclear engineering
Website: https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6287639

About the journal

Abstract

Keywords