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

Full text not available from this repository.

Search Google Scholar

Item Type: Book Section
Additional Information: CS-TR-1422
Subjects: Computing > Cybersecurity
Computing > Network Computing
Computing
Divisions: Digital Innovation Beacon
Faculty of Technology > School of Computer Science
Depositing User: Paolo Modesti
Date Deposited: 10 May 2016 12:17
Last Modified: 02 Jul 2019 09:10
URI: http://sure.sunderland.ac.uk/id/eprint/6218

Actions (login required)

View Item View Item