Talk "A causal view of non-interference"

Abstract: The concept of non-interference has been introduced to characterise the absence of undesired information flows in a computer system. Although its definition often refers to an intuitive notion of causality - the activity involving the part of the system with higher level of confidentiality should not influence the behaviour at lower levels - it is almost invariably formalised in terms of interleaving semantics. In this work we focus on non-interference for Petri nets, as previously defined in the literature, and we discuss possibile characterisations in terms of a causal, true concurrent semantics, with special interest in the unfolding semantics.