Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

The theory of noninterference supports the analysis of information leakage and the execution of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on weak bisimulation semantics. We show that this approach is not sufficient to i...

Full description

Saved in:
Bibliographic Details
Main Authors: Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2025-01-01
Series:Logical Methods in Computer Science
Subjects:
computer science - cryptography and security
Online Access:http://lmcs.episciences.org/12603/pdf
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items