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]
@inproceedings{HowardBCS17,
title = {Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology},
author = {Giles Howard and Michael J. Butler and John Colley and Vladimiro Sassone},
year = {2017},
doi = {10.1109/EuroSPW.2017.68},
url = {https://doi.org/10.1109/EuroSPW.2017.68},
researchr = {https://researchr.org/publication/HowardBCS17},
cites = {0},
citedby = {0},
pages = {174-180},
booktitle = {2017 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2017, Paris, France, April 26-28, 2017},
publisher = {IEEE},
isbn = {978-1-5386-2244-5},
}