English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
Formal methods in the design of cryptographic protocols (state of the art)
Buttyan, Levente
1999
Download
Formats
Format
BibTeX
View
Download
MARC
View
Download
MARCXML
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download
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
cryptographic protocols
;
formal methods
;
verification
;
specification
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
Select file:
IC_TECH_REPORT_199938 - n/a - n/a