Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
-
häftad
,
Engelska, 2016