1 search result for "author:"Dominique Bolignano and Valérie Ménissier-Morain""

Showing 1 - 1
  1. coq-otway-rees

    No documentation

    Otway-Rees cryptographic protocol
    keyword: Otway-Rees keyword: protocols keyword: cryptography category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols
    Dominique Bolignano and Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019