Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Shabbir, Fatima"'
Autor:
Wang, Conan K., Huang, Yen-Hua, Shabbir, Fatima, Pham, Huong T., Lawrence, Nicole, Benfield, Aurélie H., van der Donk, Wilfred, Henriques, Sónia T., Turner, Mark S., Craik, David J.
Publikováno v:
In Peptides June 2023
Autor:
Shabbir, Fatima
This thesis examines the use of multi-stack pushdown automata to model the behaviour and properties of Web services based cryptographic protocols. The protocols are modelled in Promela and verified using the Spin model checker. The Simple Message Exc
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.585215
Autor:
Shabbir, Fatima
This thesis examines the use of multi-stack pushdown automata to model the behaviour and properties of Web services based cryptographic protocols. The protocols are modelled in Promela and verified using the Spin model checker. The Simple Message Exc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::d2dda1be2f8a6697c24c2047e56eaa38
https://orca.cardiff.ac.uk/id/eprint/55091/1/U585480.pdf
https://orca.cardiff.ac.uk/id/eprint/55091/1/U585480.pdf