Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon. Clarification of Ambiguity for the Simple Authentication and Security Layer. In Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Volume 10817 of Lecture Notes in Computer Science, pages 189-203, Springer, 2018. [doi]
@inproceedings{Al-ShareefiLD18,
title = {Clarification of Ambiguity for the Simple Authentication and Security Layer},
author = {Farah Al-Shareefi and Alexei Lisitsa and Clare Dixon},
year = {2018},
doi = {10.1007/978-3-319-91271-4_13},
url = {https://doi.org/10.1007/978-3-319-91271-4_13},
researchr = {https://researchr.org/publication/Al-ShareefiLD18},
cites = {0},
citedby = {0},
pages = {189-203},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings},
editor = {Michael J. Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl},
volume = {10817},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-91271-4},
}