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

Files

Abstract

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

Details

Title Formal methods in the design of cryptographic protocols (state of the art)
Author(s) Buttyan, Levente
Date 1999
Keywords
Laboratories LDS
LCA
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LCA - Laboratory for Computer Communications and Applications
Work produced at EPFL
Technical Reports
Published
Record creation date 2005-07-13

Actions

Preview