Seminario
Noninterference Analysis of Reversible Systems with Branching Bisimilarity
Programma
Abstract
Reversibility and noninterference are two theories that respectively support the execution of safe and secure computations. In this paper, we show that the study of equivalence-based noninterference properties in the setting of reversible computing requires an adequate semantic treatment. Firstly, we note that the activation of backward computations may trigger information flows that are not observable when proceeding in the standard forward direction. To capture the effects of back and forth computations, it is necessary to employ a sufficiently expressive semantics that, in an interleaving framework, has been proved to be branching bisimilarity in a previous work by De Nicola, Montanari, and Vaandrager. Secondly, we investigate a taxonomy of noninterference properties based on branching bisimilarity and we compare it with the classical hierarchy based on weak bisimilarity.
Evento ibrido, sia in presenza sia online via Zoom
Link Zoom: clicca qui
ID riunione: 843 5926 6181
Passcode: 821453
Relatori/Relatrici
Andrea Esposito (Università di Urbino)
Dettagli sull'evento
Data e luogo
Inizio: 09/11/2022
alle ore 14:00
Fine: 09/11/2022
alle ore 16:00
Palazzo Albani (Urbino, Via Viti, 10) Aula C4
Organizzato e promosso da:
Dipartimento di Scienze Pure e Applicate
Scuola di Scienze, Tecnologie e Filosofia dell'Informazione
LM-78 - Classe delle lauree magistrali in scienze filosofiche - Filosofia dell'informazione. Teoria e gestione della conoscenza
Synergia Research Group
Modalità di partecipazione
Altre informazioni utili
Per ulteriori informazioni contattare: pierluigi.graziani@uniurb.it
