Security-informed safety: if it’s not secure, it’s not safe R Bloomfield, K Netkachova, R Stroud Software Engineering for Resilient Systems: 5th International Workshop …, 2013 | 93 | 2013 |
Building blocks for assurance cases R Bloomfield, K Netkachova 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 52 | 2014 |
Tool support for assurance case building blocks: Providing a helping hand with CAE K Netkachova, O Netkachov, R Bloomfield Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 20 | 2015 |
Security-informed safety K Netkachova, RE Bloomfield Computer 49 (6), 98-102, 2016 | 18 | 2016 |
Security-informed safety case approach to analysing MILS systems K Netkachova, K Müller, M Paulitsch, RE Bloomfield | 12 | 2015 |
Using an assurance case framework to develop security strategy and policies R Bloomfield, P Bishop, E Butler, K Netkachova Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 10 | 2017 |
Using structured assurance case approach to analyse security and reliability of critical infrastructures K Netkachova, R Bloomfield, P Popov, O Netkachov Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 8 | 2015 |
Safety case-oriented assessment of critical software: Several principles and elements of techniques A Andrashov, V Kharchenko, K Netkachova Monographs of System Dependability. Dependability of Networks, Wroclaw, OWPW …, 2010 | 8 | 2010 |
Investigation into a layered approach to architecting security-informed safety cases K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 6B4-1-6B4-12, 2015 | 7 | 2015 |
Safety case methodology: architecting principles KI Netkachova Радіоелектронні і комп’ютерні системи, 109–112-109–112, 2010 | 6 | 2010 |
Is Chocolate Good for You—or, Is the Cloud Secure? K Netkachova, R Bloomfield Computer 50 (8), 74-78, 2017 | 1 | 2017 |
CLARISSA: Foundations, Tools & Automation for Assurance Cases S Varadarajan, R Bloomfield, J Rushby, G Gupta, A Murugesan, R Stroud, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | | 2023 |
Message from the WoSoCer 2018 Workshop Chairs H Alemzadeh, B Gallina, R Natella, K Netkachova, R Pietrantuono, ... | | 2018 |
Assurance of open systems dependability: developing a framework for automotive security and safety RE Bloomfield, E Butler, K Netkachova | | 2017 |
Message from the WoSoCer workshop organizers H Alemzadeh, R Barbosa, F Brancati, B Gallina, M Lawford, R Natella, ... 28th IEEE International Symposium on Software Reliability Engineering …, 2017 | | 2017 |
Security-informed safety: integrating security within the safety demonstration of a smart device RE Bloomfield, ASL Guerra, E Butler, K Netkachova 10th International Topical Meeting on Nuclear Plant Instrumentation, Control …, 2017 | | 2017 |
Argument Strength–An Engineering Perspective RE Bloomfield, K Netkachova Workshop on Argument Strength, 17, 2016 | | 2016 |
A layered approach to architecting security-informed safety cases (applied to an avionics case study) K Netkachova, K Müller, M Paulitsch, R Bloomfield 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 1-36, 2015 | | 2015 |
Permanent City Research Online URL: http://openaccess. city. ac. uk/6312 K Netkachova, K Müller, M Paulitsch, RE Bloomfield Workshop on MILS: Architecture and Assurance for Secure Systems 19, 21, 2015 | | 2015 |
The model and implementation of Safety Case Cores K Netkachova Information & Security 28 (2), 286-295, 2012 | | 2012 |