skip to main content

Formal Models and Techniques for Analyzing Security Protocols

V. Cortier ; S Kremer

Amsterdam IOS Press, 2011

Accessible en ligne

  • Titre:
    Formal Models and Techniques for Analyzing Security Protocols
  • Auteur: V. Cortier
  • Autre(s) auteur(s): S Kremer
  • Éditeur: Amsterdam IOS Press
  • Date de publication: 2011
  • Langue: Anglais
  • Identifiant: ISBN 1-60750-713-7 ;ISBN 6613289612 ;ISBN 9786613289612 ;ISBN 1-283-28961-X ;ISBN 1-60750-714-5
  • Source: Mines ParisTech (ressources électroniques)
    PSL (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré