scientific article

zbMath1272.68292MaRDI QIDQ2849576

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000277

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (32)

A framework for current-state opacity under dynamic information release mechanism ⋮ Current-state opacity and initial-state opacity of modular discrete event systems ⋮ Dynamics Security Policies and Process Opacity for Timed Process Algebras ⋮ Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ Decidability of opacity verification problems in labeled Petri net systems ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ A novel approach for supervisor synthesis to enforce opacity of discrete event systems ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Unnamed Item ⋮ Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions ⋮ Game current-state opacity formulation in probabilistic resource automata ⋮ Active opacity of discrete-event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Verifying weak and strong \(k\)-step opacity in discrete-event systems ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Synthesis of insertion functions for enforcement of opacity security properties ⋮ Verification of initial-state opacity in security applications of discrete event systems ⋮ Current-state opacity modelling and verification in partially observed Petri nets ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ Opacity of discrete event systems and its applications ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Probabilistic system opacity in discrete event systems ⋮ Enforcement of opacity by public and private insertion functions ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Opacity of networked discrete event systems ⋮ Comparing the notions of opacity for discrete-event systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

This page was built for publication: