Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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.

Item Type: Thesis (Doctoral)
Full text not available from this repository.

More Information

Related URLs:
Depositing User: Paolo Modesti

Identifiers

Item ID: 6217
URI: http://sure.sunderland.ac.uk/id/eprint/6217
Official URL: http://dspace.unive.it/handle/10579/1234

Users with ORCIDS

Catalogue record

Date Deposited: 26 Apr 2016 10:39
Last Modified: 04 Jun 2025 15:02

Contributors

Author: Paolo Modesti

University Divisions

Collections > Theses

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)