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.

Preview

PDF stm2014.pdf - Accepted Version Download (213kB) | Preview

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: http://dx.doi.org/10.1007/978-3-319-1185...

Depositing User: Paolo Modesti

Identifiers

Item ID: 6213

URI: http://sure.sunderland.ac.uk/id/eprint/6213

Official URL: http://stm14.uni.lu/

Users with ORCIDS

Catalogue record

Date Deposited: 11 May 2016 09:15

Last Modified: 04 Jun 2025 15:01

Contributors

Author:

Paolo Modesti

University Divisions

Faculty of Business and Technology > School of Computer Science and Engineering

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only)