Università degli Studi di Urbino Carlo Bo / Portale Web di Ateneo


Ciclo di seminari

Noninterference Analysis of Reversible Probabilistic Systems

Programma

Nell'ambito del ciclo LAAG:IT - Logica, Algebra, Analisi, Geometria, Informatica Teorica e loro applicazioni, i Proff. Marco Bernardo e Giovanni Molica Bisci sono lieti di invitarvi al seminario intitolato "Noninterference Analysis of Reversible Probabilistic Systems"
che sarà tenuto dal Dott. Andrea Esposito dell'Università di Urbino.

Noninterference theory supports the analysis of secure computations in multi-level security systems: when a group of agents at a high security level performs some actions, the effect of those actions should not be seen by any agent at a low security level. In a nondeterministic setting, the approach to noninterefence based on weak bisimilarity turns out not to be adequate for reversible systems. This limitation can be circumvented by employing a more expressive semantics, which has been proven to be branching bisimilarity. In this talk we present an extension of the aforementioned result to reversible systems that feature both nondeterministic and probabilistic behaviors. We recast noninterference properties by employing probabilistic variants of weak and branching bisimilarities. Then we investigate a taxonomy of those properties as well as their preservation and compositionality features, along with a comparison with the nondeterministic taxonomy. The adequacy of the extended results for reversible systems is illustrated via a probabilistic smart contract example.

Il seminario si svolgerà in presenza, ma sarà anche possibile seguirlo a distanza collegandosi ad https://meet.google.com/hcf-mbcc-jko


Dettagli sull'evento

Data e luogo

  Inizio: 28/02/2024 alle ore 17:00 Fine: 28/02/2024 alle ore 18:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Olivetti

Organizzato e promosso da:

LAAG:IT - Logica, Algebra, Analisi, Geometria, Informatica Teorica e loro applicazioni.


Link e risorse utili

 aggiungi al calendario

Il tuo 5x1000 per sostenere le attività di ricerca

L'Università di Urbino destina tutte le risorse che deriveranno da questa iniziativa alla ricerca scientifica ed al sostegno di giovani ricercatori.

15 22

Se sei vittima di violenza o stalking chiama il 1522, scarica l'app o chatta su www.1522.eu

Il numero, gratuito è attivo 24 h su 24, accoglie con operatrici specializzate le richieste di aiuto e sostegno delle vittime di violenza e stalking.

Posta elettronica certificata

amministrazione@uniurb.legalmail.it

Social

Università degli Studi di Urbino Carlo Bo
Via Aurelio Saffi, 2 – 61029 Urbino PU – IT
Partita IVA 00448830414 – Codice Fiscale 82002850418
2024 © Tutti i diritti sono riservati

Top