Infoscience

Report

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

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

    Reference

    • EPFL-REPORT-52329

    Record created on 2005-07-13, modified on 2016-08-08

Related material