Verification of initial-state opacity in security applications of discrete event systems
type: Item
instance of: scholarly article
title: Verification of initial-state opacity in security applications of discrete event systems
zbMATH Open document ID: 1320.68119
author: Anooshiravan Saboori
author: Christoforos N. Hadjicostis
published in: Information Sciences
publication date: 2015-09-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q17
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 93C65
zbMATH DE Number: 6484774
zbMATH Keywords: discrete event system
zbMATH Keywords: formal methods in security analysis
zbMATH Keywords: initial state estimation
zbMATH Keywords: initial state estimator
zbMATH Keywords: tracking in sensor network
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.ins.2013.05.033
OpenAlex ID: W2004398490
cites work: Concurrent secrets
cites work: Modelling opacity using Petri nets
cites work: Applicability of fair simulation
cites work: Classical and Logic-Based Dynamic Observers for Finite Automata
cites work: Introduction to Discrete Event Systems
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Q4198056
cites work: On NFAs where all states are final, initial, or both
cites work: Testing finite-state machines: state identification and verification
cites work: On observability of discrete-event systems
cites work: Decentralized supervisory control of discrete-event systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: \(k\)-anonymous data collection
DOI: 10.1016/J.INS.2013.05.033
description: scientific article; zbMATH DE number 6484774