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 rotocols.

Related material