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.

Search Google Scholar

Item Type: Thesis (Doctoral)
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Faculty of Technology > School of Computer Science
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 26 Apr 2016 10:39
Last Modified: 02 Jul 2019 09:10
URI: http://sure.sunderland.ac.uk/id/eprint/6217

Actions (login required)

View Item View Item