Clarification of Ambiguity for the Simple Authentication and Security Layer

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]

Authors

Farah Al-Shareefi

This author has not been identified. Look up 'Farah Al-Shareefi' in Google

Alexei Lisitsa

This author has not been identified. Look up 'Alexei Lisitsa' in Google

Clare Dixon

This author has not been identified. Look up 'Clare Dixon' in Google