Modesti, Paolo (2014) Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. In: Security and Trust Management - 10th International Workshop, STM 2014, 10-11 Sep 2014, Wroclaw, Poland.
Abstract
Official URL: http://stm14.uni.lu/
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-11851-2_17”." |
| Related URLs: | |
| Depositing User: | Paolo Modesti |
| URI: | https://sure.sunderland.ac.uk/id/eprint/6213 |
Further Details
More Information
Additional Information
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-11851-2_17”."
Related URLs
Depositing User
Identifiers
Item ID
6213
Users with ORCIDS
Catalogue record
Date Deposited
11 May 2016 09:15
Last Modified
09 Nov 2026 08:04
Contributors
Author
Paolo Modesti
University Divisions
Subjects
Actions (login required)
Download Statistics
Downloads per month over past year
