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

Publications by Jeremy Bryans

http://www.adobe.com/products/acrobat/readermain.htmlThese are the DIRC publications by Jeremy Bryans. 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


Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J.W., Fitzgerald J.S., Jones C.B., Mozolevesky, I.
In Proceedings of the Second International Conference on Leveraging Applications of Formal Methods, Validation and Verification, Margaria T., Philippou A., Steffen B., pp. 90-98  2006
[ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), , Margaria, T. Philippou, A. Steffen, B., pp. 90-97  2006
[ Abstract ]

Formal Analysis of Access Control Policies , Bryans, J.W.
In Proceedings of the UK E-Science All Hands Meeting, Cox, S.J., pp. 701-708  2006
[ Abstract ]

GOLD Infrastructure for Virtual Organizations , Periorellis P., Cook N., Hiden H., Conlin A., Hamilton M.D., Wu J., Bryans J., Gong X., Watson P., Smith R., Wright A., 18th-21st September, Nottingham, UK
In Proceedings of the UK E-Science All Hands Meeting, pp. 11-20  2006
[ Abstract ]

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 ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I
In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Margaria, T. Philippou, A. Steffen, B., 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 ]

Reasoning about XACML policies using CSP , Jeremy Bryans
In Proceedings of the 2005 ACM Workshop of Secure Web Services, Ernesto Damiani and Hiroshi Maruyama, pp. 28-35  2005
pdf icon [ pdf ( 130 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 ) ]

Expressing Iterative Properties Logically in a Symbolic Setting , Shankland C., Bryans J., Morel L.
In Proceedings of the Algebraic Methodology and Software Technology 10th International Conference, Rattray C., Maharaj S., Shankland C., pp. 460-474  2004
pdf icon [ pdf ( 256 Kb ) ] [ Abstract ]

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

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 ]

Model Checking Stochastic Automata, Bryans J.W., Bowman H., Derrick J.
ACM Transactions on Computational Logic , Volume 4 , Issue 4 , pp. 452-492 , 2003

pdf icon [ pdf ( 375 KB) ] [ Abstract ]


Book Chapters


Security Implications of Structure , Bryans J., Arief B.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective , Besnard D., Gacek, C., and Jones C.B. (eds.) , pp. 217-227
Springer , 2005
pdf icon [ pdf ( 62 KB) ]


Technical Reports


Dimensions of Dynamic Coalitions, , Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
CS-TR: 963 School of Computing Science, University of Newcastle upon Tyne , 2006
pdf icon [ pdf ( 324 KB) ] [ Abstract ]

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. , Bryans J. W., Fitzgerald J. S., Jones C. B., Mozolevsky I.
CS-TR-981 Newcastle University , 2006
[ Abstract ]

Model Based Analysis and Validation of Access Control Policies , Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
CS-TR-976 Newcastle University , 2006
[ Abstract ]

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

Reasoning about XACML policies using CSP , Bryans J. W.
CS-TR-924 University of Newcastle , 2005
pdf icon [ pdf ( 139 KB) ] [ Abstract ]

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