 | Up a level |
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.
.