Giles Howard

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Security Requirements

Formal Analysis

Top Venues

Int. J. Crit. Comput. Based Syst.

EuroS&P Workshops

Publications

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
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. EuroS&P Workshops (2017)