Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Orchestration distribuée"'
Autor:
Avanesov, Tigran
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibili
Externí odkaz:
http://www.theses.fr/2011NAN10045/document
Autor:
Avanesov, Tigran
Publikováno v:
Cryptography and Security [cs.CR]. Université Henri Poincaré-Nancy 1, 2011. English
Yassine Lakhnech n'a pas pu assister a la soutenance; Deducibility constraints have been introduced to verify cryptographic protocols. This thesis gives a decision procedure for the satisfiability problem of general deducibility constraints. Two case
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e56f90c0b21126fad333ff8cd91b7502
https://tel.archives-ouvertes.fr/tel-01746193v3/document
https://tel.archives-ouvertes.fr/tel-01746193v3/document