Modelling Opacity Using Petri Nets | Zendy

Jeremy Bryans | Zendy; Maciej Koutny | Zendy; Peter Y. A. Ryan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modelling Opacity Using Petri Nets

Author(s) -

Jeremy Bryans,

Maciej Koutny,

Peter Y. A. Ryan

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.10.010

Subject(s) - petri net , decidability , computer science , opacity , property (philosophy) , theoretical computer science , information flow , petri dish , programming language , process architecture , stochastic petri net , distributed computing , philosophy , linguistics , physics , epistemology , biology , optics , genetics

We consider opacity as a property of the local states of the secure (or high-level) part of the system, based on the observation of the local states of a low-level part of the system as well as actions. We propose a Petri net modelling technique which allows one to specify different information flow properties, using suitably defined observations of system behaviour. We then discuss expressiveness of the resulting framework and the decidability of the associated verification problems

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research