OpenAlex
Verification of State-Based Opacity Using Petri Nets
Work
Year: 2016
Type: article
Abstract: A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an intruder who can partially observe system activities. This work addresses the verification of state-based opac... more
Source: IEEE Transactions on Automatic Control
Authors Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
Institutions University of Cagliari, Xidian University, Macau University of Science and Technology, Centre National de la Recherche Scientifique, Université de Toulon
Cites: 29
Cited by: 242
Related to: 10
FWCI: 22.39
Citation percentile (by year/subfield): 99.99
Topic: Petri Nets in System Modeling
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funders National Natural Science Foundation of China, National Natural Science Foundation of China
Grant IDS 61374068, 61472295