Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.

Al-Shareefi, Farah
(2019) Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. PhD thesis, University of Liverpool.

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. .

This list was generated on Thu Sep 23 03:09:24 2021 BST.