QUT ePrints

Browse By Person: Seifi, Younes

 Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 5.

Journal Article

Seifi, Younes, Suriadi, Suriadi, Foo, Ernest, & Boyd, Colin (2014) Analysis of two authorization protocols using Colored Petri Nets. International Journal of Information Security. (In Press)

Seifi, Y, Suriadi, S, Foo, E, & Boyd, C (2014) Security properties analysis in a TPM-based protocol. International Journal of Security and Networks, 9(2), pp. 85-103.

Conference Paper

Seifi, Younes, Suriadi, Suriadi, Foo, Ernest, & Boyd, Colin (2012) Analysis of Object-Specific Authorization Protocol (OSAP) using coloured Petri nets. In Pieprzyk, Josef (Ed.) Information Security 2012 - Proceedings of the Tenth Australasian Information Security Conference (AISC 2012): Conferences in Research and Practice in Information Technology, Volume 125, Australian Computer Society Inc., RMIT University, Melbourne, Vic., pp. 47-58.
Number of full-text downloads 97

Report

Seifi, Younes, Suiadi, Suriadi, Foo, Ernest, & Boyd, Colin (2011) Analysis of Object-Specific Authorization Protocol (OSAP) using coloured petri nets - Version 1.0. (Unpublished)
Number of full-text downloads 209

QUT Thesis

Seifi, Younes (2014) Formal analysis of security properties in trusted computing protocols. PhD thesis, Queensland University of Technology.
Number of full-text downloads 37

This list was generated on Sat Jul 26 05:59:22 2014 EST.