книги Наука, техника, медицина Техника Теоретические основы Теория упругости Теория машин и механизмов

ProVerif

Код 2456901

  • ISBN: 978-5-5119-4269-8

Нет в продаже

Аннотация к книге "ProVerif"

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.

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5119-4269-8

Книга находится в категориях

Социальная защита населения Общая и теоретическая социология ГОСТы, стандарты

Вместе с этой книгой покупают