Browse By Person: Maitland, Greg

Statistics dashboard

Up a level

Group by: Item Type | Date

Jump to: Conference Paper

Number of items: 3.

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.

150

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. In Carlo, Blundo & Cimato, Stelvio (Eds.) 4th Conference on Security in Communication Networks - SCN 2004, 8 - 10 Sep 2004, Amalfi, Italy.

312

7

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.

198

This list was generated on Sat May 26 05:35:09 2012 EST.

Export as	RSS 1.0 Atom RSS 2.0