ProVerif

ProVerif

Jesse Russell Ronald Cohn

     

бумажная книга

Продать эту книгу

ISBN: 978-5-5119-4269-8

High Quality Content by WIKIPEDIA articles! ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet.

Каталог