Modelling and Verification of Secure Exams by Rosario Giustolisi (English) Hardc
70,42 €
By Rosario Giustolisi. Rosario Giustolisi is an assistant professor at the IT University of Copenhagen. His research interests include the modeling and formal analysis of secure network protocols and the sociotechnical security aspects of real-world systems.
Jetzt bei Ebay:
