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
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