Modelling a secure agent with team automata (Articolo in rivista)

Type
Label
  • Modelling a secure agent with team automata (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.entcs.2004.12.046 (literal)
Alternative label
  • [1] Petrocchi M., [2] Egidi L. (2006)
    Modelling a secure agent with team automata
    in Electronic notes in theoretical computer science; Elsevier, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Petrocchi M., [2] Egidi L. (literal)
Pagina inizio
  • 111 (literal)
Pagina fine
  • 127 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 142 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • Modello e analisi di proprieta' di privacy in protocolli con agenti mobili tramite automi. (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] CNR-IIT, Pisa, Italy; [2] Dipartimento di Informatica, Universit√† degli Studi del Piemonte Orientale, Italy (literal)
Titolo
  • Modelling a secure agent with team automata (literal)
Abstract
  • We use Team Automata in order to model a protocol by Cachin et al. for securing agents in a hostile environment. Our study focuses on privacy properties of the agents. We use the framework to prove a result from the work by Cachin et al. 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. Titolo Rivista: Electronic Notes in Theoretical Computer Science (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Editore di
Insieme di parole chiave di
data.CNR.it