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

What are you looking for today?

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

Full text not available from this repository. (Request a copy)

Abstract

Official URL: http://link.springer.com/chapter/10.1007%2F978-3-3...

Item Type:	Book Section
Additional Information:	CS-TR-1422
Depositing User:	Paolo Modesti
URI:	https://sure.sunderland.ac.uk/id/eprint/6218

Further Details

More Information

Additional Information

CS-TR-1422

Depositing User

Identifiers

Item ID

6218

Identification Number

10.1007/978-3-319-11851-2_17

ISSN

0302-9743

ISBN

978-3-319-11850-5

Users with ORCIDS

Catalogue record

Date Deposited

10 May 2016 12:17

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)

Dimensions

Altmetric