Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno)

Type
Label
  • Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • [1] Ter Beek M., [2] Moiso C., [3] Petrocchi M. (2007)
    Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario
    in 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007), Leicester, Gran Bretagna, 11-12 June 2007
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Ter Beek M., [2] Moiso C., [3] Petrocchi M. (literal)
Pagina inizio
  • 94 (literal)
Pagina fine
  • 100 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] ISTI-CNR,Pisa, Italy; [2] Telecom Italia; [3] IIT-CNR, Pisa, Italy (literal)
Titolo
  • Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario (literal)
Abstract
  • We continue our work on modelling and analysing security issues of an identity federation protocol for convergent networks. This protocol was proposed by Telecom Italia as a solution to allow end users access to 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 an intermediate step towards a full-blown formal security analysis of this protocol, we specify one specific user scenario in the process algebra Crypto-CCS and verify its vulnerability w.r.t. a man-in-the-middle attack with the model checker PaMoChSA. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it