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)Abstract
Official URL: http://dspace.unive.it/handle/10579/1234
| Item Type: | Thesis (Doctoral) |
|---|---|
| Related URLs: | |
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6217 |
Further Details
More Information
Related URLs
Depositing User
Identifiers
Item ID
6217
Users with ORCIDS
Catalogue record
Date Deposited
26 Apr 2016 10:39
Last Modified
04 Jun 2025 15:02
Contributors
Author
Paolo Modesti
