Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws

Find Full text
Thumbnail
Fulltext:
143764.pdf
Size:
1.384Mb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2015
Author(s)
Poll, E.
Ruiter, J.E.J. de
Schubert, A.
Publisher
Los Alamitos : IEEE
ISBN
9781479999330
In
Kellenberger, P. (ed.), SPW 2015 : 2015 IEEE Security and Privacy Workshops, 21 May 2015, San Jose, California, USA. Proceedings, pp. 125-133
DOI
Annotation
SPW 2015 : 2015 IEEE Security and Privacy Workshops, 21 May 2015, San Jose, California, USA
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/143764   https://hdl.handle.net/2066/143764
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.