J
Jeremy Bryans
Researcher at Coventry University
Publications - 93
Citations - 1781
Jeremy Bryans is an academic researcher from Coventry University. The author has contributed to research in topics: System of systems & Computer science. The author has an hindex of 21, co-authored 88 publications receiving 1552 citations. Previous affiliations of Jeremy Bryans include Universities UK & Newcastle University.
Papers
More filters
Journal ArticleDOI
Opacity generalised to transition systems
TL;DR: In this article, the authors extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow, such as anonymity and non-inference.
Opacity Generalised to Transition Systems
TL;DR: In this article, the authors extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow, such as anonymity and non-inference.
Book ChapterDOI
Opacity generalised to transition systems
TL;DR: The notion of opacity is extended to the model of labelled transition systems and generalised in order to better represent concepts from the literature on information flow, and links between opacity and the information flow concepts of anonymity and non-inference are established.
Journal ArticleDOI
Modelling Opacity Using Petri Nets
TL;DR: A Petri net modelling technique is proposed which allows one to specify different information flow properties, using suitably defined observations of system behaviour, and expressiveness of the resulting framework and the decidability of the associated verification problems are discussed.
Modelling Opacity using Petri Nets
TL;DR: In this paper, the authors 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 state of a low-level part of a system as well as actions.