Formal methods in the design of cryptographic protocols (state of the art)
Buttyan, Levente
1999
Télécharger
Formats
Format
BibTeX
MARC
MARCXML
DublinCore
EndNote
NLM
RefWorks
RIS

Fichiers

Résumé

This paper is a state of the art review of the use of formal methods in the design of cryptographic protocols.

Détails

Titre Formal methods in the design of cryptographic protocols (state of the art)
Auteur(s) Buttyan, Levente
Date 1999
Mots-clés (libres)
Laboratoires LDS
LCA
Le document apparaît dans Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LCA - Laboratory for Computer Communications and Applications
Travail produit à l'EPFL
Rapports techniques
Publié
Date de création de la notice 2005-07-13

Actions

Aperçu