Integrated Attack Tree in Residual Risk Management Framework
Khan, Ahmed Nawaz, Bryans, Jeremy, Sabaliauskaite, Giedre, Jadidbonab, Hesamaldin
Published in Information (Basel) (01.12.2023)
Published in Information (Basel) (01.12.2023)
Get full text
Journal Article
Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
Bryans, Jeremy, Liew, Lin Shen, Nguyen, Hoang Nga, Sabaliauskaite, Giedre, Shaikh, Siraj Ahmed
Published in Information (Basel) (01.09.2023)
Published in Information (Basel) (01.09.2023)
Get full text
Journal Article
Opacity generalised to transition systems
Bryans, Jeremy W., Koutny, Maciej, Mazaré, Laurent, Ryan, Peter Y. A.
Published in International journal of information security (01.11.2008)
Published in International journal of information security (01.11.2008)
Get full text
Journal Article
Opacity Generalised to Transition Systems
Bryans, Jeremy W., Koutny, Maciej, Mazaré, Laurent, Ryan, Peter Y. A.
Published in Formal Aspects in Security and Trust (2006)
Published in Formal Aspects in Security and Trust (2006)
Get full text
Book Chapter
Conference Proceeding
Using internal context to detect automotive controller area network attacks
Tomlinson, Andrew, Bryans, Jeremy, Shaikh, Siraj Ahmed
Published in Computers & electrical engineering (01.05.2021)
Published in Computers & electrical engineering (01.05.2021)
Get full text
Journal Article
Impact of the number of planetary gears on the energy efficiency of electrified powertrains
Rajput, Daizy, Herreros, Jose M., Innocente, Mauro S., Bryans, Jeremy, Schaub, Joschka, Dizqah, Arash M.
Published in Applied energy (01.10.2022)
Published in Applied energy (01.10.2022)
Get full text
Journal Article
Building an automotive security assurance case using systematic security evaluations
Cheah, Madeline, Shaikh, Siraj A., Bryans, Jeremy, Wooderson, Paul
Published in Computers & security (01.08.2018)
Published in Computers & security (01.08.2018)
Get full text
Journal Article
State-of-the-art authentication and verification schemes in VANETs: A survey
Mazhar, Sheraz, Rakib, Abdur, Pan, Lei, Jiang, Frank, Anwar, Adnan, Doss, Robin, Bryans, Jeremy
Published in Vehicular Communications (01.10.2024)
Published in Vehicular Communications (01.10.2024)
Get full text
Journal Article
Access control and view generation for provenance graphs
Danger, Roxana, Curcin, Vasa, Missier, Paolo, Bryans, Jeremy
Published in Future generation computer systems (01.08.2015)
Published in Future generation computer systems (01.08.2015)
Get full text
Journal Article
A Model-Based Approach for Requirements Engineering for Systems of Systems
Holt, Jon, Perry, Simon, Payne, Richard, Bryans, Jeremy, Hallerstede, Stefan, Hansen, Finn Overgaard
Published in IEEE systems journal (01.03.2015)
Published in IEEE systems journal (01.03.2015)
Get full text
Journal Article
Attack Defense Trees with Sequential Conjunction
Bryans, Jeremy, Nguyen, Hoang Nga, Shaikh, Siraj Ahmed
Published in 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2019)
Published in 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) (01.01.2019)
Get full text
Conference Proceeding
Proceedings Third Workshop on Formal Aspects of Virtual Organisations: Preface
Bryans, Jeremy, Fitzgerald, John
Published in Electronic proceedings in theoretical computer science (26.04.2012)
Published in Electronic proceedings in theoretical computer science (26.04.2012)
Get full text
Journal Article