| Mission |
| Members |
| Research |
| Publications |
| Teaching |
| Industrial connections |
| Activity reports |
| Contact information |
| Miscellaneous |
| Meeting information |
| Webmail |
| magyar · english |
Formal methods in the design of cryptographic protocols (state of the art)
EPFL-DI-ICA, 1999, no. SSC/1999/38, November.
keywords: cryptographic protocols, formal methods, verification, specification
abstract This paper is a state of the art review of the use of formal methods in the design of cryptographic rotocols.