A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista)

Type
Label
  • A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1016/j.entcs.2007.03.024 (literal)
Alternative label
  • [1] Martinelli F., [1] Petrocchi M. (2007)
    A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
    in Electronic notes in theoretical computer science; Elsevier Science Publishers, Amsterdam (Paesi Bassi)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Martinelli F., [1] Petrocchi M. (literal)
Pagina inizio
  • 85 (literal)
Pagina fine
  • 99 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 186 (literal)
Rivista
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] IIT-CNR, Pisa, Italy (literal)
Titolo
  • A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS (literal)
Abstract
  • In this paper, we present our line of research for defining an integrated framework for the specification and analysis of security and trust in complex and dynamic scenarios. We aim at showing how the same machinery applied for the formal verification of security protocols may be useful to model and analyze trust management procedures. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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