Menu

Peter Ryan

8 published titles

The modelling and analysis of security protocols : the CSP approach

1 edition

  • ISBN: 0201674718
  • Addison-Wesley
  • 2001
  • Details

Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers

(Contributor)

1 edition

  • ISBN: 3540206930
  • Springer
  • 2003
  • Details

Modelling opacity using Petri nets

(Contributor)

1 edition

  • University of Newcastle-upon-Tyne, Computing Science
  • 2004
  • Details

Prêt à Voter with a human-readable, paper audit trail

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2007
  • Details

The Code d'Azur and Phoenix ciphers : a note on a new class of block ciphers based on matrix transposition

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2008
  • Details

How to sync with Alice

(Contributor)

1 edition

  • Newcastle University
  • 2011
  • Details

Computer security - ESORICS 2015 : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, proceedings

(Contributor)

1 edition

  • ISBN: 9783319241760
  • Springer
  • 2015
  • Details

The new codebreakers : essays dedicated to David Kahn on the occasion of hiis 85th birthday

(Contributor)

1 edition

  • ISBN: 9783662493007
  • Springer
  • 2016
  • Details

obnb.uk is a Good Stuff website.