Bøger af Bruno Blanchet

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.