HEAL DSpace

Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal

DSpace/Manakin Repository

Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal

Title: Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal;
Cryptographic protocol verification using ProVerif and Verifpal
Χασάπης, Χρίστος; Chasapis, Christos
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/60992
http://dx.doi.org/10.26240/heal.ntua.28688

Show full item record

Files in this item

[PDF]
Name: Διπλωματική Χρίστος ...
Size: 698.3Kb
Format: PDF
View/Open

This item appears in the following Collection(s)