International Working Group on Assurance Cases (for Security)

Authors:
Robin E. Bloomfield;Sofia Guerra;Ann Miller;Marcelo Masera;Charles B. Weinstock
Affiliations:
City University, London and Adelard;Adelard;University of Missouri, Rolla;European Commission's Joint Research Centre, Ispra, Italy;Software Engineering Institute
Venue:
IEEE Security and Privacy
Year:
2006

Citing 1
Cited 3

Mechanizing proof: computing, risk, and trust

Mechanizing proof: computing, risk, and trust

Disentangling the relations between safety and security

AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Assurance cases in model-driven development of the pacemaker software

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
How secure is ERTMS?

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Critical systems are aptly named--from electric power to water and gas to the telephone system and theInternet, they're all critical to some aspect of our daily lives. We're a networked society and assuch, it's important to both know whether critical systems are trustworthy and be able to communicate,review, and debate the level of trust achieved in them. In the safety domain, explicit safety cases areincreasingly required by law, regulations, and standards. In this article, we outline what a small,international group of experts, spanning various disciplines in safety, security, reliability, andcritical infrastructure, been doing with the International Working Group on Assurance Cases (forSecurity), what we hope to achieve, and where we go next.