Giles Howard

According to our database, Giles Howard authored at least 2 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B.

Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone

Int. J. Crit. Comput. Based Syst., 2019

2017

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

Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017