Up a level |
Number of items: 1.
Al-Shareefi, Farah ORCID: 0000-0002-5537-6086, Lisitsa, Alexei and Dixon, Clare ORCID: 0000-0002-4610-9533
(2018)
Clarification of Ambiguity for the Simple Authentication and Security Layer.
In: 6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018, 2018-6-5 - 2018-6-8, Southampton, UK.