eTheses Repository

Browse by Author/Supervisor

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 5.

Smyth, Ben (2011) Formal verification of cryptographic protocols with automated reasoning. Ph.D. thesis, University of Birmingham.

Lomuscio, Alessio (1999) Knowledge sharing among ideal agents. Ph.D. thesis, University of Birmingham.

Qunoo, Hasan Najib Yousif (2012) Modelling and verifying dynamic access control policies using knowledge-based model checking. Ph.D. thesis, University of Birmingham.

Salaiwarakul, Anongporn (2010) Verification of secure biometric authentication protocols. Ph.D. thesis, University of Birmingham.

Koleini, Masoud (2012) Verification of temporal-epistemic properties of access control systems. Ph.D. thesis, University of Birmingham.

This list was generated on Mon Jul 28 04:39:06 2014 IST.