Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Bloomfield, R. E."'
Assurance cases have been developed to reason and communicate about the trustworthiness of systems. Recently we have also been using them to support the development of policy and to assess the impact of security issues on safety regulation. In the ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::1329f9593c8ec127050ac5309de66b00
https://openaccess.city.ac.uk/id/eprint/18331/1/adelard_assure_CAE_policy2017.pdf
https://openaccess.city.ac.uk/id/eprint/18331/1/adelard_assure_CAE_policy2017.pdf
Safety and security engineering have, over the years, developed their own regulations, standards, cultures, and practices. However, there’s a growing realisation that security is closely connected to safety. Safety must be security-informed: if a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::4e59ea681f74915401adfd95c7f69019
https://openaccess.city.ac.uk/id/eprint/17724/1/pp9v01n_npic_cyber_smarts.pdf
https://openaccess.city.ac.uk/id/eprint/17724/1/pp9v01n_npic_cyber_smarts.pdf
Publikováno v:
Lecture Notes in Computer Science, Computer Safety Reliability and Security
This paper presents a tool for structuring arguments in assurance cases. The tool is designed to support the methodology of Claims-Arguments-Evidence (CAE) Building Blocks that provides a series of archetypal CAE fragments to help structure cases mor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::83da3243c90ecca94dd7a6be94b6fe4f
https://openaccess.city.ac.uk/id/eprint/12968/1/Assure2015_Netkachova_et_al.pdf
https://openaccess.city.ac.uk/id/eprint/12968/1/Assure2015_Netkachova_et_al.pdf
Autor:
Bloomfield, R. E., Parisaca-Vargas, A.
Publikováno v:
7th International Conference on Knowledge Engineering and Ontology Development
Hazard identification and hazard analysis are difficult and essential parts of safety engineering. These activities are very demanding and mostly manual. There is an increasing need for improved analysis tools and techniques. In this paper we report
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::eca0092b31b1b2e72dddc71469b5b0f6
https://openaccess.city.ac.uk/id/eprint/12801/1/KEOD_2015_59_CR.pdf
https://openaccess.city.ac.uk/id/eprint/12801/1/KEOD_2015_59_CR.pdf
Publikováno v:
39th IEEE Conference on Local Computer Networks
In a medium sized network, an Intrusion Detection System (IDS) could produce thousands of alerts a day many of which may be false positives. In the vast number of triggered intrusion alerts, identifying those to prioritise is highly challenging. Aler
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::12548f92a5c3161834d50886766b097f
Autor:
Bloomfield, R. E., Netkachova, K.
Publikováno v:
International Symposium on Software Reliability Engineering (ISSRE)
The paper introduces an approach to structuring assurance cases using specially-designed CAE building blocks. The blocks are derived from an empirical analysis of the real case structures and can standardise the presentation of assurance cases by sim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::3c5c1c33eacd464be53aa790808c6767
https://openaccess.city.ac.uk/id/eprint/5121/1/BuildingBlocksforAssuranceCases.pdf
https://openaccess.city.ac.uk/id/eprint/5121/1/BuildingBlocksforAssuranceCases.pdf
Publikováno v:
5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)
Traditionally, safety and security have been treated as separate disciplines, but this position is increasingly becoming untenable and stakeholders are beginning to argue that if it’s not secure, it’s not safe. In this paper we present some of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::de662091b0e969eef1055ed7105122fe
https://openaccess.city.ac.uk/id/eprint/3097/1/Bloomfield_serene_2013.pdf
https://openaccess.city.ac.uk/id/eprint/3097/1/Bloomfield_serene_2013.pdf
Publikováno v:
TBD
Dynamic software test methods are generally easy to use, but the results only apply to the specific input values tested. Static analysis produces results which are more general, but can require more effort to perform. There are potential benefits in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::07cfd61b3029c3dba35585f03a08a1e1
Autor:
Littlewood, B., Bloomfield, R. E.
Publikováno v:
International Conference on Control and Instrumentation in Nuclear Installations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::f6c140e34f269c3e0c3d4859efdf8f80
https://openaccess.city.ac.uk/id/eprint/1601/1/INUCE_multi-leg_v15.2.pdf
https://openaccess.city.ac.uk/id/eprint/1601/1/INUCE_multi-leg_v15.2.pdf
Autor:
Bishop, P. G., Bloomfield, R. E.
Publikováno v:
14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003)
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise naturally from the program structure. The log normal distribution presents a p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::abae8550d85c64866f96634d399ed676
https://openaccess.city.ac.uk/id/eprint/544/2/Worst_Case_Prediction_given_log_normal_v12.pdf
https://openaccess.city.ac.uk/id/eprint/544/2/Worst_Case_Prediction_given_log_normal_v12.pdf