%0 Thesis %1 phd/hal/Duclos16 %A Duclos, Mathilde %D 2016 %K dblp %T Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire. (Methods for cryptographic protocols verification in the computational model).

@phdthesis{phd/hal/Duclos16, added-at = {2020-07-21T00:00:00.000+0200}, author = {Duclos, Mathilde}, biburl = {https://www.bibsonomy.org/bibtex/216cd04e1938a4fe5fbdef7cdf10a64c2/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01318995}, interhash = {a80b3cedc1c7cedf7b2cba8482232942}, intrahash = {16cd04e1938a4fe5fbdef7cdf10a64c2}, keywords = {dblp}, school = {Grenoble Alpes University, France}, timestamp = {2020-07-24T00:50:46.000+0200}, title = {Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire. (Methods for cryptographic protocols verification in the computational model).}, year = 2016 }