Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

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.

[img]
Preview
PDF
stm2014.pdf - Accepted Version

Download (213kB) | Preview
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”."
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Digital Innovation Beacon
Faculty of Applied Sciences > Department of Computing Engineering and Technology
Related URLs:
Depositing User: Paolo Modesti
Date Deposited: 11 May 2016 09:15
Last Modified: 09 Mar 2017 06:18
URI: http://sure.sunderland.ac.uk/id/eprint/6213

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year