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: 02 Jul 2019 09:10 |
| Author: | Paolo Modesti |
University Divisions
Faculty of Technology > School of Computer ScienceSubjects
Computing > CybersecurityComputing > Network Computing
Computing
Actions (login required)
 |
View Item (Repository Staff Only) |
