Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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, Wroclaw, Poland, September 10-11, 2014. Proceedings. Lecture Notes in Computer Science . Springer, pp. 204-208. ISBN 978-3-319-11850-5

Item Type: Book Section
Full text not available from this repository.

More Information

Additional Information: CS-TR-1422
Depositing User: Paolo Modesti

Identifiers

Item ID: 6218
Identification Number: https://doi.org/10.1007/978-3-319-11851-2_17
ISSN: 0302-9743
ISBN: 978-3-319-11850-5
URI: http://sure.sunderland.ac.uk/id/eprint/6218
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-3...

Users with ORCIDS

Catalogue record

Date Deposited: 10 May 2016 12:17
Last Modified: 20 Jan 2023 09:47

Contributors

Author: Paolo Modesti

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Cybersecurity
Computing > Network Computing
Computing

Actions (login required)

View Item (Repository Staff Only) View Item (Repository Staff Only)