Team automata for security - a survey (Contributo in atti di convegno)

Type
Label
  • Team automata for security - a survey (Contributo in atti di convegno) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • ter Beek M.H.; Lenzini G.; Petrocchi M. (2005)
    Team automata for security - a survey
    in 5 Workshop on Security Issues in Coordination Models, Languages, and Systems - SecCo 2004, London
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • ter Beek M.H.; Lenzini G.; Petrocchi M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: In [Kleijn, J., Team Automata for CSCW - A Survey -, Petri Net Technology for Communication-Based Systems-Advances in Petri Nets, LNCS 2472, Springer, 2003, 295-320], Kleijn presented a survey of the use of team automata for the specification and analysis of phenomena from the field of computer supported cooperative work, in particular notions related to groupware systems. In this paper we present a survey of the use of team automata for the specification and analysis of some issues from the field of security. In particular, we show how team automata can adequately be used to model and verify various access control policies, multicast/broadcast communication protocols, and general (cryptographic) communication protocols. (literal)
Titolo
  • Team automata for security - a survey (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it