Jeremy W. Bryans

According to our database, Jeremy W. Bryans authored at least 60 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

State-of-the-art authentication and verification schemes in VANETs: A survey.

Sheraz Mazhar, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans

Veh. Commun., 2024

TOMSAC - Methodology for trade-off management between automotive safety and cyber security.

Giedre Sabaliauskaite, Jeremy W. Bryans, Hesamaldin Jadidbonab, Farhan Ahmad, Siraj A. Shaikh, Paul Wooderson

Comput. Secur., 2024

2023

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons.

Sean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Jeremy W. Bryans, Charles Wartnaby

Trans. Emerg. Telecommun. Technol., November, 2023

A formal framework for security testing of automotive over-the-air update systems.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby

J. Log. Algebraic Methods Program., 2023

Integrated Attack Tree in Residual Risk Management Framework.

Ahmed Nawaz Khan, Jeremy W. Bryans, Giedre Sabaliauskaite, Hesamaldin Jadidbonab

Inf., 2023

Formal Template-Based Generation of Attack-Defence Trees for Automated Security Analysis.

Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Ahmed Shaikh

Inf., 2023

2022

Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434.

Ahmed Nawaz Khan, Jeremy W. Bryans, Giedre Sabaliauskaite

Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2021

Using internal context to detect automotive controller area network attacks.

Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh

Comput. Electr. Eng., 2021

Formalising UPTANE in CSP for Security Testing.

Rhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Abstracting PROV provenance graphs: A validity-preserving approach.

Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin

Future Gener. Comput. Syst., 2020

2019

A Template-Based Method for the Generation of Attack Trees.

Jeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou

Proceedings of the Information Security Theory and Practice, 2019

Adding Cyberattacks To An Industry-Leading CAN Simulator.

Jake Hayward, Andrew Tomlinson, Jeremy W. Bryans

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example.

Daniel S. Fowler, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson, Siraj A. Shaikh

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT system.

Fiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta S. Steyn, Tom Komar

Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

Attack Defense Trees with Sequential Conjunction.

Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Enabling Security Checking of Automotive ECUs with Formal CSP Models.

John Heneghan, Siraj Ahmed Shaikh, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

2018

Building an automotive security assurance case using systematic security evaluations.

Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Paul Wooderson

Comput. Secur., 2018

Informing decision makers: facilitating communication and trust for decision makers during crises.

Fiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta S. Steyn

Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018

Using a one-class compound classifier to detect in-vehicle network attacks.

Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows.

Andrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh, Harsha Kumara Kalutarage

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Fuzz Testing for Automotive Cyber-Security.

Daniel S. Fowler, Jeremy W. Bryans, Siraj Ahmed Shaikh, Paul Wooderson

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017

Formalising Systematic Security Evaluations Using Attack Trees for Automotive Applications.

Madeline Cheah, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh

Proceedings of the Information Security Theory and Practice, 2017

Towards a Testbed for Automotive Cybersecurity.

Daniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy W. Bryans

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study.

Madeline Cheah, Jeremy W. Bryans, Daniel S. Fowler, Siraj Ahmed Shaikh

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

2016

Combining Third Party Components Securely in Automotive Systems.

Madeline Cheah, Siraj A. Shaikh, Jeremy W. Bryans, Hoang Nga Nguyen

Proceedings of the Information Security Theory and Practice, 2016

2015

A Model-Based Approach for Requirements Engineering for Systems of Systems.

Jon Holt, Simon Perry, Richard John Payne, Jeremy W. Bryans, Stefan Hallerstede, Finn Overgaard Hansen

IEEE Syst. J., 2015

Access control and view generation for provenance graphs.

Roxana Dánger, Vasa Curcin, Paolo Missier, Jeremy W. Bryans

Future Gener. Comput. Syst., 2015

2014

Fault Modelling in System-of-Systems Contracts.

Zoe Andrews, Jeremy W. Bryans, Richard John Payne, Klaus E. Kristensen

CoRR, 2014

SysML contracts for systems of systems.

Jeremy W. Bryans, John S. Fitzgerald, Richard John Payne, Alvaro Miyazawa, Klaus E. Kristensen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.

Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs.

Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger

Proceedings of the Provenance and Annotation of Data and Processes, 2014

Collaborative Systems of Systems Need Collaborative Design.

John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim

Proceedings of the Collaborative Systems for Smart Networked Environments, 2014

A Proof-Based Method for Modelling Timed Systems.

Alexei Iliasov, Jeremy W. Bryans

Proceedings of the Perspectives of System Informatics, 2014

2013

Semi-formal and formal interface specification for system of systems architecture.

Jeremy W. Bryans, Richard John Payne, Jon Holt, Simon Perry

Proceedings of the IEEE International Systems Conference, 2013

2012

Towards Quantitative Analysis of Opacity.

Jeremy W. Bryans, Maciej Koutny, Chunyan Mu

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Interface specification for system-of-systems architectures.

Richard John Payne, Jeremy W. Bryans, John S. Fitzgerald, Steve Riddle

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

A Formal Model-Based Approach to Engineering Systems-of-Systems.

John S. Fitzgerald, Jeremy W. Bryans, Richard John Payne

Proceedings of the Collaborative Networks in the Internet of Services, 2012

2011

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations.

Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon

Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

Developing a Consensus Algorithm Using Stepwise Refinement.

Jeremy W. Bryans

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Patterns for Modelling Time and Consistency in Business Information Systems.

Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Formal Analysis of BPMN Models Using Event-B.

Jeremy W. Bryans, Wei Wei

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

2009

Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.

Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Opacity generalised to transition systems.

Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan

Int. J. Inf. Sec., 2008

GOLD infrastructure for virtual organizations.

Panos Periorellis, N. Cook, Hugo Hiden, A. Conlin, M. D. Hamilton, Jiyi Wu, Jeremy W. Bryans, Xiangguo Gong, F. Zhu, R. Smith, Paul Watson, Allen R. Wright

Concurr. Comput. Pract. Exp., 2008

2007

Formal Engineering of XACML Access Control Policies in VDM++.

Jeremy W. Bryans, John S. Fitzgerald

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.

Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky

Proceedings of the Leveraging Applications of Formal Methods, 2006

E-voting: Dependability Requirements and Design for Dependability.

Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini

Proceedings of the The First International Conference on Availability, 2006

2005

Reasoning about XACML policies using CSP.

Jeremy W. Bryans

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

2004

Modelling Opacity Using Petri Nets.

Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

Modelling Dynamic Opacity Using Petri Nets with Silent Actions.

Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Expressing Iterative Properties Logically in a Symbolic Setting.

Carron Shankland, Jeremy W. Bryans, Lionel Morel

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Model checking stochastic automata.

Jeremy W. Bryans, Howard Bowman, John Derrick

ACM Trans. Comput. Log., 2003

2001

Analysis of a Multimedia Stream using Stochastic Process Algebra.

Howard Bowman, Jeremy W. Bryans, John Derrick

Comput. J., 2001

Implementing a Modal Logic over Data and Processes using XTL.

Jeremy W. Bryans, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Stochastic Model Checking for Multimedia

Jeremy W. Bryans, Howard Bowman, John Derrick

CoRR, 2000

Specification and Analysis of Automata-Based Designs.

Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Stochastic Specification and Verification.

Jeremy W. Bryans, John Derrick

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

1996

Denotational semantic models for real-time LOTOS.

Jeremy William Bryans

PhD thesis, 1996

1995

Real-time LOTOS and Timed Observations.

Jim Davies, Jeremy W. Bryans, Steve A. Schneider

Proceedings of the Formal Description Techniques VIII, 1995

Towards a denotational semantics for ET-LOTOS.

Jeremy W. Bryans, Jim Davies, Steve A. Schneider

Proceedings of the CONCUR '95: Concurrency Theory, 1995