Méthodes formelles pour la vérification probabiliste de propriétés de sécurité de protocoles cryptographiques

Authors: Ribeiro, Marcelo Alves
Advisor: Desharnais, Josée
Abstract: Certain cryptographic protocols were specifically developed to provide some security properties in our networks of communication. For the purpose of assuring that a protocol fulfils its security properties, probabilistic model checkings are undertaken to confirm if it introduces a fault when its probabilistic behavior is considered. We wanted to use a probabilistic method (and also non-deterministic) of protocols modeling to confirm if this method may substitute others that were already used for checking faults in cryptographic protocols. It leads us to consider the objective of our scientific researches as: quantitative analysis of faults in cryptographic protocols.
Document Type: Mémoire de maîtrise
Issue Date: 2011
Open Access Date: 18 April 2018
Permalink: http://hdl.handle.net/20.500.11794/22976
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
28121.pdf2.84 MBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.