Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques. (Abstractions for verification of security properties of cryptographic protocols).
A. Boisseau. École normale supérieure de Cachan, France, (2003)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Thesis
%1 phd/hal/Boisseau03
%A Boisseau, Alexandre
%D 2003
%K
%T Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques. (Abstractions for verification of security properties of cryptographic protocols).
@phdthesis{phd/hal/Boisseau03,
added-at = {2023-12-12T19:31:10.000+0100},
author = {Boisseau, Alexandre},
biburl = {https://www.bibsonomy.org/bibtex/218b5308e84c51e3355a0229938a4ca47/admin},
ee = {https://tel.archives-ouvertes.fr/tel-01199555},
interhash = {21f10e94832f8cf84f3afde107789358},
intrahash = {18b5308e84c51e3355a0229938a4ca47},
keywords = {},
school = {École normale supérieure de Cachan, France},
timestamp = {2023-12-12T19:31:10.000+0100},
title = {Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques. (Abstractions for verification of security properties of cryptographic protocols).},
year = 2003
}