Jeremy W. Bryans - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Formal Template-Based Generation of Attack-Defence Trees for Automated Security AnalysisJeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj Ahmed Shaikh. information, 14(9):481, 2023. [doi]

Integrated Attack Tree in Residual Risk Management FrameworkAhmed Nawaz Khan, Jeremy W. Bryans, Giedre Sabaliauskaite, Hesamaldin Jadidbonab. information, 14(12):639, 2023. [doi]

A formal framework for security testing of automotive over-the-air update systemsRhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj Ahmed Shaikh, Charles Wartnaby. jlap, 130:100812, 2023. [doi]

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoonsSean Joe Taylor, Farhan Ahmad, Hoang Nga Nguyen, Siraj Ahmed Shaikh, Jeremy W. Bryans, Charles Wartnaby. ett, 34(11), November 2023. [doi]

2022

Framework for Calculating Residual Cybersecurity Risk of Threats to Road Vehicles in Alignment with ISO/SAE 21434Ahmed-Khan, Jeremy W. Bryans, Giedre Sabaliauskaite. acns 2022: 235-247 [doi]

2021

Formalising UPTANE in CSP for Security TestingRhys Kirk, Hoang Nga Nguyen, Jeremy W. Bryans, Siraj A. Shaikh, David Evans, David Price. qrs 2021: 816-824 [doi]

Using internal context to detect automotive controller area network attacksAndrew Tomlinson, Jeremy W. Bryans, Siraj Ahmed Shaikh. cee, 91:107048, 2021. [doi]

2020

Abstracting PROV provenance graphs: A validity-preserving approachPaolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin. fgcs, 111:352-367, 2020. [doi]

2019

Attack Defense Trees with Sequential ConjunctionJeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh. hase 2019: 247-252 [doi]

A Template-Based Method for the Generation of Attack TreesJeremy W. Bryans, Lin Shen Liew, Hoang Nga Nguyen, Giedre Sabaliauskaite, Siraj A. Shaikh, Fengjun Zhou. WISTP 2020: 155-165 [doi]

A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing ExampleDaniel S. Fowler, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson, Siraj A. Shaikh. qrs 2019: 1-8 [doi]

Enabling Security Checking of Automotive ECUs with Formal CSP ModelsJohn Heneghan, Siraj Ahmed Shaikh, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson. dsn 2019: 90-97 [doi]

Communication in Emergency Management through Data Integration and Trust: an introduction to the CEM-DIT systemFiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta S. Steyn, Tom Komar. iscram 2019: [doi]

2018

Informing decision makers: facilitating communication and trust for decision makers during crisesFiona Jennet McNeill, Diana Bental, Jeremy W. Bryans, Paolo Missier, Jannetta Steyn. iscram 2018: [doi]

2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock VerificationPedro R. G. Antonino, Marcel Medeiros Oliveira, Augusto C. A. Sampaio, Klaus E. Kristensen, Jeremy W. Bryans. NFM 2014: 31-45 [doi]

2012

Towards Quantitative Analysis of OpacityJeremy W. Bryans, Maciej Koutny, Chunyan Mu. tgc 2013: 145-163 [doi]

2011

Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual OrganisationsJeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon. ifip5-5 2011: 314-321 [doi]

Developing a Consensus Algorithm Using Stepwise RefinementJeremy W. Bryans. icfem 2011: 553-568 [doi]

2010

Patterns for Modelling Time and Consistency in Business Information SystemsJeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth. ICECCS 2010: 105-114 [doi]

Formal Analysis of BPMN Models Using Event-BJeremy W. Bryans, Wei Wei. fmics 2010: 33-49 [doi]

Sign in or sign up to see more results.

runs on WebDSL