Modellierung und Überprüfung von Sicherheitsprotokollen mit dem angewandten Pi-Rechner und Pr...
92,78 €
Modeling and Verifying Security Protocols With the Applied Pi Calculus and Proverif, Paperback by Blanchet, Bruno, ISBN 1680832069, ISBN-13 9781680832068, Brand New, Free shipping in the US Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.
Jetzt bei Ebay:
