Browse DORAS
Browse Theses
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

Supervisors: Gray, David

Number of items: 5.

Doctoral Thesis

Butin, Denis Frédéric (2012) Inductive analysis of security protocols in Isabelle/HOL with applications to electronic voting. PhD thesis, Dublin City University.

Graham, Michelle (2010) A System for the Verication of Location Claims. PhD thesis, Dublin City University.

Dunne, Cameron R. (2009) An architecture and protocol, an access control model, and a sighting blurring algorithm for improving users' security in the context of location based services operating over the internet. PhD thesis, Dublin City University.

Candebat, Thibault (2005) A secure architecture enabling end-user privacy in the context of commercial wide-area location-enhanced web services. PhD thesis, Dublin City University.

Masters Thesis

Tunney, David (2005) A language based on the Pi-calculus. Master of Science thesis, Dublin City University.

This list was generated on Tue Jul 25 08:51:52 2017 IST.