Zobrazeno 1 - 7
of 7
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
Publikováno v:
Proceedings of 2012 9th International Bhurban Conference on Applied Sciences & Technology (IBCAST); 1/ 1/2012, piv-x, 7p
Publikováno v:
Proceedings of 2012 9th International Bhurban Conference on Applied Sciences & Technology (IBCAST); 1/ 1/2012, p1-1, 1p
Autor:
Brenda Wren
First published in 1845, this directory has established an enviable reputation for the quantity and extent of its information on UK-registered medical practitioners. It provides mini career profiles of doctors listed A-Z by surname. Each record conta
Autor:
Wren, Brenda
First published in 1845, this directory has established an enviable reputation for the quantity and extent of its information on UK-registered medical practitioners. It provides mini career profiles of doctors listed A-Z by surname. Each record conta