WorldCat Identities

Ryan, Peter 1957-

Overview
Works: 43 works in 91 publications in 2 languages and 1,010 library holdings
Genres: Conference proceedings 
Roles: Editor, Creator
Classifications: QA76.9.A25, 005.8
Publication Timeline
Key
Publications about  Peter Ryan Publications about Peter Ryan
Publications by  Peter Ryan Publications by Peter Ryan
Most widely held works by Peter Ryan
E-voting and identity second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 proceedings by Peter Ryan ( )
15 editions published in 2009 in English and held by 452 WorldCat member libraries worldwide
Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers by FASec 2002 ( Book )
12 editions published between 2003 and 2004 in English and held by 289 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London, UK, in December 2002. The 11 revised full papers presented together with 7 invited contributions were carefully reviewed, selected, and improved for inclusion in the book. The papers are organized in topical sections on protocol verification, analysis of protocols, security modelling and reasoning, and intrusion detection systems and liveness
Formal aspects in security and trust Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers by Theo Dimitrakos ( )
9 editions published in 2007 in English and and held by 68 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID is
Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers by Ali E Abdallah ( )
1 edition published in 2003 in English and held by 32 WorldCat member libraries worldwide
Towards trustworthy elections new directions in electronic voting by David Chaum ( )
3 editions published in 2010 in English and held by 24 WorldCat member libraries worldwide
Annotation
Formal Aspects in Security and Trust (vol. # 3866) Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers by Theo Dimitrakos ( )
2 editions published in 2006 in English and held by 22 WorldCat member libraries worldwide
Frontiers of electronic voting 07311 abstracts collection ; Dagstuhl seminar ( )
2 editions published in 2008 in English and held by 17 WorldCat member libraries worldwide
Frontiers of electronic voting Dagstuhl seminar 07311 ; executive summary ( )
2 editions published in 2008 in English and held by 17 WorldCat member libraries worldwide
The modelling and analysis of security protocols : the CSP approach by Peter Ryan ( Book )
6 editions published between 2000 and 2001 in English and held by 15 WorldCat member libraries worldwide
Formal aspects in security and trust third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers by Theo Dimitrakos ( )
4 editions published in 2006 in English and held by 14 WorldCat member libraries worldwide
Pret a Voter with Paillier encryption by Peter Ryan ( Book )
3 editions published between 2006 and 2008 in English and held by 6 WorldCat member libraries worldwide
Formal Aspects in Security and Trust : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers by Theo Dimitrakos ( )
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
Modelling opacity using Petri nets by Jeremy Bryans ( Book )
1 edition published in 2004 in English and held by 3 WorldCat member libraries worldwide
How to sync with Alice by Feng Hao ( Book )
1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide
A case study in system-based analysis : the ThreeBallot voting system and Prêt à Voter by T Tjostheim ( Book )
1 edition published in 2007 in English and held by 2 WorldCat member libraries worldwide
Opacity : further insights on an information flow property by Peter Ryan ( Book )
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
Voting technologies and trust by Brian Randell ( Book )
1 edition published in 2005 in English and held by 2 WorldCat member libraries worldwide
Formal Aspects in Security and Trust (vol. [3866) Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers by Theo Dimitrakos ( )
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
A simplified version of the Chaum voting scheme by Peter Ryan ( Book )
1 edition published in 2004 in English and held by 2 WorldCat member libraries worldwide
Password authenticated key exchange by juggling by F Hao ( Book )
1 edition published in 2008 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.00 for Opacity : ... to 0.92 for Formal Asp ...)
Alternative Names
Ryan, P.Y.A.
Ryan, P. Y. A. 1957-
Ryan, P. Y. A. (Peter Yvain Anthony), 1957-
Ryan, Peter
Ryan, Peter Y. A.
Ryan, Peter Yvain Anthony.
Languages
Covers