Items where Author is "Hamilton, Geoff"

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


Gugel, Alberto, Aziz, Benjamin and Hamilton, Geoff (2014) Revisiting the ban-modified andrew secure rpc protocol. Journal of Internet Services and Information Security (JISIS), 4 (3). pp. 82-96.

Aziz, Benjamin, Gray, David, Hamilton, Geoff, Oehl, Frederic, Power, James F and Sinclair, David (2001) Implementing protocol verification for E-commerce.

Aziz, Benjamin and Hamilton, Geoff Options for Establishing Trust in a Complex Grid Operating System.

Conference or Workshop Item

Gray, David, Aziz, Benjamin and Hamilton, Geoff (2004) Spiky: A nominal calculus for modelling protocols that use pkis. In: Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools, Orléans, France.

Aziz, Benjamin and Hamilton, Geoff (2002) A privacy analysis for the π-calculus: The denotational approach. In: Proceedings of the 2nd Workshop on the Specification, Analysis and Validation for Emerging Technologies.

This list was generated on Sun Apr 21 04:04:26 2024 BST.