coq-contribs/otway-rees

Otway-Rees cryptographic protocol

Coq