Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx
Tools
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)
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-3...
Item Type: | Book Section |
---|---|
Additional Information: | CS-TR-1422 |
Subjects: | Computing > Cybersecurity Computing > Network Computing Computing |
Divisions: | Digital Innovation Beacon Faculty of Applied Sciences > Department of Computing Engineering and Technology |
Depositing User: | Paolo Modesti |
Date Deposited: | 10 May 2016 12:17 |
Last Modified: | 13 Oct 2016 08:26 |
URI: | http://sure.sunderland.ac.uk/id/eprint/6218 |
Actions (login required)
![]() |
View Item |
Altmetric