Book chapter
Security implications of Structure. Jeremy Bryans and Budi Arief 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. (An extended extract of the chapter appears here.)Journal Articles
Opacity Generalised to Transition Systems Jeremy W. Bryans, Maciej Koutny, Laurent Mazare and Peter Y. A. Ryan Published in International Journal of Information Security, Online First.Modelling opacity using petri nets. Jeremy Bryans, Maciej Koutny and Peter Y. A. Ryan. ENTCS 121:101--115, Feb 2005. Available from ENTCS
Model Checking Stochastic Automata. Jeremy Bryans, Howard Bowman and John Derrick. ACM Transactions on Computational Logic, 4(4):pp 452-492, October 2003.
Analysis of a Multimedia Stream using Stochastic Process Algebra, Bowman, H., Bryans, J. and Derrick, J. The Computer Journal, Volume 44, Issue 4, pp 230-245
Oxford University Press/British Computer Society, ISSN: 0010-4620, 2001
Combining CSP and Temporal Logic, Pearson, J. and Bryans, J.
Proceedings of the Estonian Academy of Science, Volume 4, Issue 2, pp 130-137.
Estonian Academy of Science, 1998
Edited Proceedings
Proceedings of the Second Workshop on Formal Aspects of Virtual Organisations Editors: Jeremy Bryans and John Fitzgerald Eindhoven, The Netherlands, 3rd November 2009
Proceedings of the Seventh OVERTURE Workshop Editors: Peter Larson and Jeremy Bryans Eindhoven, The Netherlands, 2nd November 2009
Available as Newcastle University School of Computing Science Technical Report 1177
Conference and workshop papers
2011
Developing a Consensus Algorithm using Stepwise Refinement. Jeremy Bryans. Proceedings of the International Conference on Formal Engineering Methods (ICFEM 2011) (to appear)
Refinement-based techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations Jeremy Bryans, John Fitzgerald and Tom McCutcheon. PRO-VE 2011 (to appear)
2010
Formal Analysis of BPMN Models using Event-B Jeremy W. Bryans and Wei Wei. In S. Kowalewski and M. Roveri (Eds.): Formal Methods in industrial Critical Systems (FMICS 2010), LNCS 6371, pp. 33--49. Springer-Verlag Berlin Heidelberg (2010)Patterns for Modelling Time and Consistency in Business Information Systems Jeremy Bryans, John Fitzgerald, Alexander Romanovsky and Andreas Roth. In Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems pages 105-116 2010, IEEE. ISBN:978-0-7695-4015-23
2009
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware Jeremy Bryans, John Fitzgerald, Alexander Romanovsky and Andreas Roth. In Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems pages 68-77 2009, ACM. ISBN:978-0-7695-3702-32008
Animation-based Validation of a Formal Model of Dynamic Virtual Organisations J. S. Fitzgerald, J. W. Bryans, D. Greathead, C. B. Jones and R. Payne. In Electronic Workshops in Computing 2008, BCS2007
Formal Engineering of Access Control Policies in VDM++ Jeremy W. Bryans and John S. Fitzgerald. In proceedings of 9th International Conference on Formal Engineering Methods (ICFEM 2007). Boca Raton, USA, November 2007. pp 37--56
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations Jeremy W. Bryans, John S. Fitzgerald and Panos Periorellis. In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp 352-353, Supplemental Volume. June 25-28, 2007. Edinburgh, UK
2006
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I. Proc. IEEE International Symposium on Leveraging Applications for Formal Methods, Cyprus, 2006, IEEE 2007, pp. 91-98, ISBN: 978-0-7695-3071-0. DOI 10.1109/ISoLA.2006.21
Formal Analysis of Access Control Policies
Jeremy W. Bryans
5th All Hands Meeting, AHM2006 , 18th-21st September, Nottingham, UK
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., 5th All Hands Meeting, AHM2006 , 18th-21st September, Nottingham, UK
E-voting: Dependability requirements and Design for Dependability
J. W. Bryans, B. Littlewood, P. Y. A. Ryan, L. Strigini
Proceedings of ARES (Availability, Reliability and Security), Vienna,
Austria pp. 988-995. April 20-22, 2006. IEEE Computer Society. also
available here
2005
Reasoning about XACML Policies using CSP Jeremy BryansProceedings of the 2005 ACM workshop on Secure Web Services, Fairfax, Virginia. pp 28-35. November 11th, 2005. IEEE Computer Society
Opacity generalised to transition systems. Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan and Laurent Mazare In Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider (Eds.): Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Revised Selected Papers, LNCS 3866, pp.81-95. Springer 2006.
Dynamic Coalitions: A Position Paper. Budi Arief, Jeremy Bryans, John Fitzgerald, Carl Gamble, Michael Harrison, Nigel Jefferson, Cliff Jones, Igor Mosolevsky, Thea Peacock, Peter Ryan. In Proceedings of the fifth annual DIRC research conference, Mackie, J. Rouncefield, M., (eds) pp 125-127, 2005
2004
Modelling dynamic opacity using petri nets with silent actions. Jeremy W. Bryans, Maciej Koutny and Peter Y. A. Ryan.Proceedings of the IFIP TC1 WG1.7 Workshop on Formal Aspects of Security and Trust 2004. pp 159-172 World Computer Congress, August 22-27, 2004, Toulouse, France. Kluwer Academic Press
Towards an inter-disciplinary analysis of an e-voting system.
Jeremy W. Bryans and Peter Y. A. Ryan.
In Supplemental Volume of the 2004 International Conference on
Dependable Systems and Networks, pages 233-234, June 2004.
Expressing Iterative Properties Logically in a Symbolic Setting.
C. Shankland, J. Bryans, and L. Morel.
In C. Rattray, S. Maharaj, and C. Shankland, editors, Algebraic
Methodology and Software Technology, 10th International Conference, AMAST
2004, number 3116 in Lecture Notes in Computer Science, pages 460--474.
Springer Verlag, 2004.
2003
Security and trust in a voter verifiable e-voting scheme. Jeremy W. Bryans and Peter Y. A. Ryan.In Proceedings of Formal Aspects of Security and Trust 2003. Kluwer Academic Press.
2001
Implementing a Modal Logic over Data and Processes using XTL, Jeremy Bryans and Carron Shankland.
In
Proceedings of the 21st IFIP TC 6/WG 6.1 International Conference on
Formal Techniques for Networked and Distributed Systems (FORTE 2001),
Cheju Island, Korea, 28-31 August 2001 Kim, M., Chin, B., Kang, S. and Lee, D. (eds.)
IFIP Conference Proceedings Volume 197 pp. 201-218
Kluwer Academic Publishers 2001
Using Rewriting Logic to implement the modal logic FULL, Jeremy Bryans, ALberto Verdejo. and Carron Shankland.
In
Proceedings of the 1st Workshop on Automated Verification of Critical
Systems (AVoCS '01), Computing Laboratory, Oxford University, UK, 19-20
April 2001 Nowak, D. (ed)
OUCL Technical Reports Volume PRG-RR-01-07
2000
Specification and Analysis of Automata-based Designs. Jeremy Bryans, Lynne Blair, Howard Bowman and John Derrick.In W. Grieskamp, T. Stanten and B. Stoddart, editors, Integrated Formal Methods (IFM 2000) number 1945 in Lecture Notes in Computer Science, pp 176-193, November 2000.
1999
Stochastic Model Checking for Multimedia. Jeremy Bryans, Howard Bowman and John Derrick. in PONMS'99: Modal and Temporal Logics Based Planning for Open Networked Multimedia Systems). Cape Cod, Massachusetts. November 1999.Using Probability to Reason about Soft Deadlines, Andy King and Jeremy Bryans. In Proceedings of the COTIC Workshop, 1999
Stochastic Specification and Verification, Jeremy Bryans and John Derrick.
In Proceedings of the 3rd Irish Workshop on Formal Methods (IWFM '99), Galway, Ireland, July 1999 Butterfield, A. and Haegele, K. (eds.)
BCS Electronic Workshops in Computing
British Computer Society 1999
1998
Analysis of a Multimedia Stream using Stochastic Process Algebra, Howard Bowman and Jeremy Bryans and John Derrick.
In
Proceedings of the 6th International Workshop on Process Algebras and
Performance Modelling (PAPM '98), Nice, France, 12 September 1998 Priami, C. (ed)
pp. 51-69 1998
In Proceedings of the Irish Workshop on Formal Methods, 1988.
1997
CSP, PVS and a Recursive Authentication Protocol, Bryans, J. and Schneider, S.
In
Proceedings of the DIMACS Workshop on Design and Formal Verification of
Security Protocols, DIMACS Center, Rutgers University, Piscataway, NJ,
USA, 3-5 September 1997
DIMACS 1997
1996
Real-time LOTOS and Timed Observations, Davies, J., Bryans, J. and Schneider, S.
In
Proceedings of the 8th IFIP TC6 International Conference on Formal
Description Techniques (FORTE 1995), Formal Description Techniques
VIII, Montreal, Canada, October 1995 von Bochmann, G., Dssouli, R. and Rafiq, O. (eds.)
IFIP Conference Proceedings Volume 43 pp. 383-397
Chapman & Hall 1996
1995
Towards a denotational semantics for ET-LOTOS, Bryans, J., Davies, J. and Schneider, S.
In
Proceedings of the 6th International Conference on Concurrency Theory
(CONCUR '95), Philadelphia, PA, USA, 21-24 August 1995 Lee, I. and Smolka, S.A. (eds.)
Lecture Notes in Computer Science Volume 962 pp. 269-283
Springer-Verlag 1995
In G. v. Bochmann, R. Dissouli, and O. Rafiq, editors, Formal Description Techniques VIII (Proceedings of FORTE'95), IFIP. Chapman and Hall, 1995.
Technical reports
CS-TR No 1178 Patterns for Modelling Time and Consistency in Business Information Systems Bryans, J. W., Fitzgerald, J. S., Romanovsky, A., Roth, A. School of Computing Science, Newcastle University, Nov 2009 [ pdf ]CS-TR No 1177 Proceedings of the 7th OVERTURE workshop Larsen, P.G., Bryans, J.W. School of Computing Science, Newcastle University, Nov 2009 [ pdf ]
CS-TR No 1176 Proceedings of Formal Aspects of Virtual Organisations 2009 Bryans, J.W., Fitzgerald, J.S. School of Computing Science, Newcastle University, Nov 2009 [ pdf ]
CS-TR No 1131 Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware Bryans, J., Fitzgerald, J., Romanovsky, A., Roth, A. School of Computing Science, Newcastle University, Dec 2008 [ pdf ]
CS-TR No 1098: Proceedings of Formal Aspects of Virtual Organisations 2008. Bryans, J., Fitzgerald, J School of Computing Science, Newcastle University, May 2008 [ pdf ]
CS-TR No 1091 A Dynamic Coalitions Workbench: Final Report Bryans, J. W., Fitzgerald, J. S., Greathead, D., Jones, C. B., Payne, R. J. School of Computing Science, Newcastle University, Apr 2008 [ pdf ]
CS-TR No 1054 Validating Access Control Policies for Virtual Organisations Bryans, J., Fitzgerald, J. School of Computing Science, Newcastle University, Oct 2007 [ pdf ]
CS-TR-1028: Formal Engineering of XACML policies in VDM++. Bryans, J. W., Fitzgerald, J. S. School of Computing Science, Newcastle University, Jun 2007.
A version of this paper has been submitted to the International Conference on Formal Engineering Methods 2007.
[ pdf (264 Kb) ]
CS-TR-1027: A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Coalitions. Bryans, J. W., Fitzgerald, J. S., Periorellis, P. School of Computing Science, Newcastle University, Jun 2007.
A version of this paper will be presented at Dependable Systems and Networks, June, 2007.
[ pdf (76 Kb) ]
CS-TR-981: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I. School of Computing Science, Newcastle University, Sep 2006.
A version of this paper was presented at the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Paphos, 15-19 November 2006. IEEE to appear.
[ Abstract ]
CS-TR-976: Model Based Analysis and Validation of Access Control
Policies
Bryans, J. W., Fitzgerald, J. S., Periorellis, P.
School of Computing Science, Newcastle University, Jul 2006
[ pdf
(182 Kb) ]
CS-TR-963: Dimensions of Dynamic Coalitions.
Bryans, J. W., Fitzgerald, J. S., Jones, C. B., Mozolevsky, I.
School of Computing Science, University of Newcastle, May 2006
[ pdf
(324 Kb) ]
CS-TR-924: Reasoning about XACML policies using CSP.
Jeremy Bryans
School of Computing Science, University of Newcastle, July 2005
[ pdf
(139 Kb) ]
A copy of this paper was Presented at the 2005 ACM workshop on Secure
Web Services, Fairfax, Virginia. pp 28-35. November 11th, 2005. IEEE
Computer Society
CS-TR: 868 Opacity generalised to transition systems.
Bryans, J. W., Koutny, M., Ryan, P. Y. A., Mazare L.
School of Computing Science, University of Newcastle, Aug 2004
[ pdf
(226 Kb) ]
CS-TR: 855 Modelling Dynamic Opacity using Petri Nets with Silent Actions.
Bryans, J. W., Koutny, M., Ryan, P. Y. A.
School of Computing Science, University of Newcastle, Aug 2004
[ pdf
(226 Kb) ]
A copy of this paper was presented at the IFIP TC1 WG1.7 Workshop on
Formal Aspects of Security and Trust 2004. pp 159-172 World Computer
Congress, August 22-27, 2004, Toulouse, France. Kluwer Academic Press
CS-TR: 843 A Simplified Version of the Chaum Voting Scheme.
Ryan, P and Bryans, J
School of Computing Science, University of Newcastle, May 2004
[ pdf
(185 Kb) ]
CS-TR: 840 Modelling Opacity using Petri Nets,
Bryans, J., Koutny, M. and Ryan, P.
A copy of this paper appeared in ENTCS 121:101--115, Feb 2005
School of Computing Science, University of Newcastle, Apr 2004
[ pdf
(152 Kb) ]
CS-TR: 809 A Dependability Analysis of the Chaum Digital Voting Scheme.,
Bryans, J. and Ryan, P.
School of Computing Science, University of Newcastle, Jul 2003
[ pdf
(324 Kb) ]
Security and Trust in Digital Voting Systems.
Jeremy Bryans and Peter Ryan
Presented at Formal Aspects of Security and Trust, 2003, Proceedings as an IIT-CNR Technical Report
Technical Report No: 9-00, University of Kent at Canterbury;2000
A model checking algorithm for stochastic systems .ps,
Bowman, H., Bryans, J. and Derrick, J.
Technical Report No: 4-00, University of Kent at Canterbury;2000
Constraint Oriented Specification with CSP and Real-time Logic,
Pearson, J. and Bryans, J.
Technical Report No: 3-98, University of Kent at Canterbury;1998
Using Probability to Reason about Soft Deadlines,
King, A. and Bryans, J.
Technical Report No: 13-98, University of Kent at Canterbury;1998
A failures semantics for ET-LOTOS;
Schneider, S., Bryans, J. and Davies, J.
Technical Report, Reading University;1994
Real-time CSP and ET-LOTOS,
Bryans, J., Davies, J. and Schneider, S.
Technical Report, Reading University;1994