External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology

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]

Authors

Giles Howard

This author has not been identified. Look up 'Giles Howard' in Google

Michael J. Butler

This author has not been identified. Look up 'Michael J. Butler' in Google

John Colley

This author has not been identified. Look up 'John Colley' in Google

Vladimiro Sassone

This author has not been identified. It may be one of the following persons: Look up 'Vladimiro Sassone' in Google
runs on