Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. | 0 | 0.34 | 2017 |
Invited Talk: Structured Engineering Argumentation. | 0 | 0.34 | 2017 |
Using an Assurance Case Framework to Develop Security Strategy and Policies. | 1 | 0.37 | 2017 |
Is Chocolate Good for You - or, Is the Cloud Secure? | 0 | 0.34 | 2017 |
Security-Informed Safety. | 3 | 0.54 | 2016 |
Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. | 0 | 0.34 | 2015 |
Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures | 2 | 0.51 | 2015 |
Security-Informed Safety Case Approach to Analysing MILS Systems | 1 | 0.37 | 2015 |
Autonomy, Robotics, and Dependability | 1 | 0.35 | 2015 |
Tool Support for Assurance Case Building Blocks, Providing a Helping Hand with CAE | 0 | 0.34 | 2015 |
Building Blocks for Assurance Cases | 5 | 0.96 | 2014 |
A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. | 1 | 0.38 | 2014 |
Security-Informed Safety: If It's Not Secure, It's Not Safe. | 14 | 1.63 | 2013 |
Resilient to the Unexpected | 1 | 0.35 | 2011 |
Critical Information Infrastructures Security, 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers | 17 | 4.26 | 2010 |
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective. | 21 | 1.67 | 2010 |
Stochastic modelling of the effects of interdependencies between critical infrastructure | 11 | 0.81 | 2009 |
Current capabilities, requirements and a proposed strategy for interdependency analysis in the UK | 1 | 0.36 | 2009 |
Comparison of Empirical Data from Two Honeynets and a Distributed Honeypot Network | 2 | 0.41 | 2008 |
Confidence: Its Role in Dependability Cases for Risk Assessment | 24 | 2.30 | 2007 |
Assurance Cases for Security: The Metrics Challenge | 2 | 0.52 | 2007 |
International Working Group on Assurance Cases (for Security) | 9 | 1.41 | 2006 |
Justification of smart sensors for nuclear applications | 3 | 0.47 | 2005 |
Using a log-normal failure rate distribution for worst case bound reliability prediction | 11 | 0.62 | 2003 |
Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects | 5 | 0.53 | 2002 |
Process Modelling to Support Dependability Arguments | 5 | 0.64 | 2002 |
Theoretical foundation for iterative assessment of conditional confidence measures in the framework of conditional measure theoretic-approach | 0 | 0.34 | 2001 |
Formal Methods Diffusion: Past Lessons and Future Prospects | 4 | 0.56 | 2000 |
A Methodology for Safety Case Development | 53 | 9.61 | 1998 |
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings | 30 | 13.26 | 1988 |