Verified Security Protocol Modeling and Implementation with AnBx

Modesti, Paolo (2012) Verified Security Protocol Modeling and Implementation with AnBx. Doctoral thesis, Università Ca' Foscari Venezia.

Full text not available from this repository. (Request a copy)
Item Type: Thesis (Doctoral)
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Faculty of Applied Sciences > Department of Computing Engineering and Technology
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 26 Apr 2016 10:39
Last Modified: 13 Oct 2016 08:32
URI: http://sure.sunderland.ac.uk/id/eprint/6217

Actions (login required)

View Item View Item