QUT ePrints

Browse By Person: Maitland, Greg

 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: 3.

Journal Article

Choo, Kim-Kwang R., Boyd, Colin, Hitchcock, Yvonne, & Maitland, Greg M. (2005) On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. Lecture Notes in Computer Science, 3352, pp. 352-367.
Number of full-text downloads 350
Number of citations in Scopus 3
Number of citations in Web of ScienceĀ® 8

Conference Paper

Choo, Kim-Kwang R., Boyd, Colin A., Hitchcock, Yvonne, & Maitland, Greg M. (2005) Complementing Computational Protocol Analysis with Formal Specifications. In Dimitrakos, Theo & Martinelli, Fabio (Eds.) IFIP TC1 WG1.7 Second International Workshop on Formal Aspects in Security and Trust - FAST 2004, 26 - 27 August, Toulouse, France.
Number of full-text downloads 177

Maitland, Gregory M., Reid, Jason F., Foo, Ernest, Boyd, Colin A., & Dawson, Edward P. (2000) Linkability in Practical Electronic Cash Design. In Third Information Security Workshop (ISW 2000), 20-21 December, 2000, Wollongong, Australia.
Number of full-text downloads 259

This list was generated on Sat Aug 23 05:56:17 2014 EST.