Formal methods in the design of cryptographic protocols (state of the art)

report

1999

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

Name

IC_TECH_REPORT_199938.pdf

Access type

openaccess

Size

182.95 KB

Format

Adobe PDF

Checksum (MD5)

a9b88f53d09389ec27977f42c90872e9

Name

TR99_038.ps

Access type

openaccess

Size

327.11 KB

Format

Postscript

Checksum (MD5)

b5a875595dc9fce7a70662d1d54ade72