Keywords
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Keywords » - entrée « protocol »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
protocal analysis < protocol < protocol classification  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000675 (2004) Yannick Chevalier ; Ralf Küesters ; Michael Rusinowitch ; Mathieu TuruaniDeciding the Security of Protocols with Commuting Public Key Encryption.
000864 (2004) Michael RusinowitchA Decidable Analysis of Security Protocols
000995 (2003) Gabrielle Feltin ; Guillaume Doyen ; Olivier FestorLes protocoles peer-to-peer, leur utilisation et leur détection
001665 (2001) Michael Rusinowitch ; Mathieu TuruaniDeciding insecurity for non-atomic keys
001943 (2000) Michael Rusinowitch ; Sorin Stratulat ; Francis KlayMechanical Verification of an Ideal Incremental ABR Conformance Algorithm
002480 (1997) Laurent Kaiser ; Ousmane KonéUne méthode de vérification d'interopérabilité temporelle
002932