Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone. Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. In 2017 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2017, Paris, France, April 26-28, 2017. pages 174-180, IEEE, 2017. [doi]
Abstract is missing.