WorldCat Identities

Ryan, Peter 1957-

Overview
Works: 46 works in 126 publications in 2 languages and 1,778 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author
Classifications: QA76.9.A25, 005.8
Publication Timeline
.
Most widely held works by Peter Ryan
Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers by Ali E Abdallah( Book )

16 editions published between 2003 and 2004 in English and held by 227 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
E-voting and identity : second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 proceedings by Peter Ryan( Book )

17 editions published in 2009 in English and Undetermined and held by 96 WorldCat member libraries worldwide

This volume constitutes the proceedings of the Second International Conference on E-Voting and Identity, VOTE-ID 2009, held in Luxembourg in September 2009. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The selected papers cover a wide range of aspects of voting: proposals for high assurance voting systems, evaluation of existing systems, assessment of public response to electronic voting, and legal aspects
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( Book )

18 editions published between 2006 and 2007 in English and held by 36 WorldCat member libraries worldwide

"Contains the post-proceedings of the second international Workshop on Formal Aspects in Security and Trust (FAST2004), held in Toulouse, 26-27 August 2004. FAST is an event of the 18th IFIP World Computer Congress (WCC2004) and is under the auspices of IFIP WG1.7 on 'Foundations of security analysis and design'"--Page [v]
Towards trustworthy elections : new directions in electronic voting by David Chaum( )

5 editions published in 2010 in English and held by 28 WorldCat member libraries worldwide

Annotation
Computer Security - ESORICS 2004 : 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004 : proceedings by Pierangela Samarati( )

4 editions published in 2004 in English and held by 26 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 9th European Symposium on Research in Computer Security, ESORICS 2004, held in Sophia Antipolis, France in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 159 submissions. Among the topics addressed are access control, authorization frameworks, privacy policies, security protocols, trusted computing, anonymity, information hiding, steganography, digital signature schemes, encrypted communication, information flow control, authentication, key distribution, public key cryptography, intrusion prevention, and attack discovery
The modelling and analysis of security protocols : the CSP approach by Peter Ryan( Book )

14 editions published between 2000 and 2006 in English and held by 23 WorldCat member libraries worldwide

An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR - Theorem proving - Simplifying transformations - Other approaches - Prospects and wider issues
Frontiers of electronic voting 07311 abstracts collection ; Dagstuhl seminar( )

1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide

Frontiers of electronic voting Dagstuhl seminar 07311 ; executive summary( )

1 edition published in 2008 in English and held by 16 WorldCat member libraries worldwide

Formal methods in systems engineering by Peter Ryan( Book )

4 editions published in 1993 in English and held by 12 WorldCat member libraries worldwide

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991. This was the second workshop sponsored by the Canadian and US governments to address the role of formal methods in the development of digital systems. Traditionally, formal methods have evolved in isolation from more conventional approaches, and one of the aims of this workshop was to emphasise the benefits of integrating the two areas. The workshop concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications. Among the topics covered in this volume are: what is a formal method?; social research on formal methods; current quality assurance methods and formal methods; a pragmatic approach to validation; integrating methods in practice; composition of descriptions; and topics in large program formal development. Formal Methods in Systems Engineering provides an overview of many of the major approaches to formal methods and the benefits which can result from them. It is relevant to academic and industrial researchers, industrial practitioners and government workers with an interest in certification
Prêt à Voter with Paillier encryption : extended journal version by Peter Ryan( Book )

3 editions published between 2006 and 2008 in English and held by 6 WorldCat member libraries worldwide

The New Codebreakers Essays Dedicated to David Kahn on the Occasion of His 85th Birthday( Book )

5 editions published in 2016 in English and German and held by 4 WorldCat member libraries worldwide

This Festschrift volume is published in honor of David Kahn and is the outcome of a Fest held in Luxembourg in 2010 on the occasion of David Kahn@0394@03C3s 80th birthday. The title of this books leans on the title of a serious history of cryptology named @0394@03C6The Cryptographers@0394@03C7, written by David Kahn and published in 1967. This book contains 35 talks dealing with cryptography as a whole. They are organized in topical section named: history; technology @0394@03BC past, present, future; efficient cryptographic implementations; treachery and perfidy; information security; cryptanalysis; side-channel attacks; randomness embedded system security; public-key cryptography; and models and protocols
Analysis and design of security protocols by Peter Ryan( Book )

1 edition published in 2000 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 practical, voter-verifiable election scheme by David Chaum( Book )

1 edition published in 2004 in English and held by 3 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

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

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

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

The computer ate my vote by Peter Ryan( Book )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Computer security - ESORICS 2015 : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, proceedings by Günther Pernul( Book )

3 editions published in 2015 in English and held by 1 WorldCat member library worldwide

The two-volume set, LNCS 9326 and LNCS 9327 constitutes the refereed proceedings of the 20th European Symposium on Research in Computer Security, ESORICS 2015, held in Vienna, Austria, in September 2015. The 59 revised full papers presented were carefully reviewed and selected from 298 submissions. The papers address issues such as networks and Web security; system security; crypto application and attacks; risk analysis; privacy; cloud security; protocols and attribute-based encryption; code analysis and side-channels; detection and monitoring; authentication; policies; and applied security
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.52 for E-voting a ... to 0.93 for Frontiers ...)

Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
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
English (97)

German (1)

Covers
E-voting and identity : second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 proceedingsFormal aspects in security and trust : third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papersTowards trustworthy elections : new directions in electronic votingComputer Security - ESORICS 2004 : 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004 : proceedingsThe modelling and analysis of security protocols : the CSP approachAnalysis and design of security protocols