Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M.; Moiso C.; Petrocchi M. (2006)
    Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M.; Moiso C.; Petrocchi M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical report (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed by Telecom Italia as a solution to allow end users to access services on the web through different access networks without explicitly providing any credentials, while the service providers can trust the user's identity information provided by the access networks and access some user data. As a first step towards a full-blown formal security analysis of the protocol, we specify three user scenarios in the process algebra Crypto-CCS and verify the vulnerability of one of these specifications w.r.t. a man-in-the-middle attack with the model checker PaMoChSA. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Titolo
  • Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it