Sécurité des protocoles cryptographiques : décidabilité et complexité
Abstract
Non disponible/Not available
Thèses UL : Connect in order to contact the contributor
https://hal.univ-lorraine.fr/tel-01746796
Submitted on : Thursday, March 29, 2018-10:45:00 AM
Last modification on : Monday, September 11, 2023-5:41:19 PM