Security protocols and threat models: security and privacy via the applied π-calculus
Auteur :
Gil-Pons, Reynaldo / Horne, Ross / Mauw, Sjouke / Stutz, Felix / Yurkov, Semen
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032082480
Date de publication :
25 nov. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse