Literature for Hands-on Protocol Verification (Seminar)


Link to the Homepage: Hands-on Protocol Verification (Seminar)


no image available Blanchet, Bruno
Modeling and Verifying Security Protocols
Now Publishers Inc 2018
  • print: BLA b2 2018:1 1.Ex
no image available Cremers, Cas
Operational semantics and verification of security protocols
Springer 2012
no image available Cortier, Veronique [Hrsg.]
Formal models and techniques for analyzing security protocols
IOS Press 2011
  • print: COR v 2011:1 1.Ex