17 citations · 26 across the 12 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
Distributed Non-Interference
Roberto Gorrieri
Information flow security properties were defined some years ago (see, e.g., the surveys \cite{FG01,Ry01}) in terms of suitable equivalence checking problems. These definitions wer…
cs.CR2011★ 17 cited
On the Decidability of Non Interference over Unbounded Petri Nets
Eike Best, Philippe Darondeau, Roberto Gorrieri
Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted defini…