http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Publications by Peter Ryan

http://www.adobe.com/products/acrobat/readermain.htmlThese are the DIRC publications by Peter Ryan. Items are sorted by type, and listed by year. Links are provided to abstracts and pdf's of the full papers where these are available.


Conference Papers


E-voting: Dependability Requirements and Design for Dependability , Bryans J.W., Littlewood B. Ryan P.Y.A., Stringini L.
In Proceedings of the ARES (Availability, Reliability and Security),, pp. 988-995  2006
[ Abstract ]

Dynamic Coalitions: A position paper , Arief B., Bryans J.W., Fitzgerald J., Gamble C., Harrison M., Jefferson N., Jones C.B., Mozolevsky I., Peacock T., Ryan P.
In Proceedings of the The Fifth annual DIRC research conference, Mackie J., Rouncefield M., pp. 125-127  2005
pdf icon [ pdf ( 60 Kb ) ]

Opacity Generalised to Transition Systems , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2005
pdf icon [ pdf ( 162 Kb ) ] [ Abstract ]

Modelling Dynamic Opacity using Petri Nets with Silent Actions , Bryans J.W., Koutny M., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2004
pdf icon [ pdf ( 201 Kb ) ]

Towards an inter-disciplinary analysis of an e-voting system , Jeremy W. Bryans and Peter Y. A. Ryan
In Proceedings of the Dependable Systems and Networks, pp. 233-234  2004
pdf icon [ pdf ( 45 Kb ) ]

Security and Trust in a Voter Verifiable E-Voting Scheme , Bryans J.W., Ryan P.Y.A.
In Proceedings of the Formal Aspects of Security and Trust, 2003
pdf icon [ pdf ( 209 Kb ) ]


Journal Articles

Voting Technologies and Trust, B. Randell and P.Y.A. Ryan
IEEE Security \& Privacy , Volume , pp. , 2005
To appear

Modelling Opacity using Petri Nets, Bryans J.W., Koutny M., Ryan P.Y.A.
Electronic Notes in Theoretical Computer Science , Volume 121 , pp. 101-115 , 2005
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004)
pdf icon [ pdf ( 272 KB) ] [ Abstract ]


Technical Reports


Modelling Opacity using Petri Nets , Bryans, J., Koutny, M. and Ryan, P.
CS-TR-840 Newcastle University , 2006
[ Abstract ]

Pret a Voter with Re-encryption Mixes , P.Y.A. Ryan and S.A. Schneider
CS-TR-956 School of Computing Science, University of Newcastle upon Tyne , 2006

Voting Technologies and Trust , B. Randell and P.Y.A. Ryan
CS-TR-911 School of Computing Science, University of Newcastle upon Tyne , 2005

A Simplified Version of the Chaum E-Voting Scheme , Bryans,J. and Ryan,P
CS-TR-843 School of Computing Science, University of Newcastle upon Tyne , 2004
pdf icon [ pdf ( 185 KB) ] [ Abstract ]

Opacity Generalised to Transition Systems , Bryans J.W., Koutny M., Mazare L., and Ryan P.Y.A.
CS-TR-868 Newcastle University , 2004
pdf icon [ pdf ( 223 KB) ] [ Abstract ]

A Practical, Voter-verifiable Election Scheme , D. Chaum and P.Y.A. Ryan and S. Schneider
CS-TR-880 School of Computing Science, University of Newcastle upon Tyne , 2004

A Dependability Analysis of the Chaum Voting Scheme , Bryans,J. and Ryan,P
CS-TR-809 School of Computing Science, University of Newcastle upon Tyne , 2003
pdf icon [ pdf ( 324 KB) ] [ Abstract ]

 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 15 January, 2007