Greg Maitland (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland: Complementing Computational Protocol Analysis with Formal Specifications. Formal Aspects in Security and Trust 2004: 129-144

5 Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland: On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. SCN 2004: 351-366

Selection of 2 from 7 records - Greg Maitland has 8 coauthors

6		Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland: Complementing Computational Protocol Analysis with Formal Specifications. Formal Aspects in Security and Trust 2004: 129-144
5		Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland: On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited. SCN 2004: 351-366