Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Fröschle, Sibylle

doi:10.1007/978-3-319-23506-6_8

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2020

Publication Types

Select...

Book2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The higher distinguishing power of such semantics could allow to identify new forms of interference which cannot be captured in an interleaving setting. Interesting reflections in this directions are reported in [29].…”

Section: Discussionmentioning

confidence: 96%

Multilevel Transitive and Intransitive Non-interference, Causally

Baldan¹,

Beggiato²

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We develop a theory of non-interference for multilevel security domains based on causality, with Petri nets as a reference model. We first focus on transitive non-interference, where the relation representing the admitted flow is transitive. Then we extend the approach to intransitive non-interference, where the transitivity assumption is dismissed, leading to a framework which is suited to model a controlled disclosure of information. Efficient verification algorithms based on the unfolding semantics of Petri nets stem out of the theory.

show abstract

Section: Discussionmentioning

confidence: 96%