Italiano (Italian) English (Inglese)
venerdì, 24 maggio 2024


Dettagli Pubblicazione
Autori:Lavinia Egidi
Marinella Petrocchi
Area Scientifica:Computer Security
Formal Models
Titolo:Modelling a Secure Agent with Team Automata
Apparso su:TR-INF-2004-07-08-UNIPMN
Editore:Computer Science Department, UPO
Tipo Pubblicazione:Technical Report
Sommario:We use Team Automata in order to model a protocol for securing agents in a hostile environment. Our study focuses on privacy properties of the agents. We use the framework to give an alternative proof of a privacy result. As a by-product, our analysis gives some initial insight on the limits of the protocol. From a different perspective, this study continues a line of research on the expressive power and modelling capabilities of Team Automata. To the best of our knowledge, this is the first attempt to use Team Automata for the analysis of privacy properties.