Suivre
Kateryna Netkachova
Kateryna Netkachova
City, University of London
Adresse e-mail validée de city.ac.uk
Titre
Citée par
Citée par
Année
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
902013
Building blocks for assurance cases
R Bloomfield, K Netkachova
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
502014
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
202015
Security-informed safety
K Netkachova, RE Bloomfield
Computer 49 (6), 98-102, 2016
182016
Security-informed safety case approach to analysing MILS systems
K Netkachova, K Müller, M Paulitsch, RE Bloomfield
122015
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
92017
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
82015
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
82010
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
72015
Safety case methodology: architecting principles
KI Netkachova
Радіоелектронні і комп’ютерні системи, 109–112-109–112, 2010
62010
Is Chocolate Good for You—or, Is the Cloud Secure?
K Netkachova, R Bloomfield
Computer 50 (8), 74-78, 2017
12017
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20