@inbook{936656, author = {Edward Griffor}, title = {Reasoning about Safety and Security: The Logic of Assurance}, year = {2017}, month = {2017-01-01 05:01:00}, publisher = {Handbook of System Safety and Security, Elsevier, Atlanta, GA}, doi = {https://doi.org/10.1016/B978-0-12-803773-7.00007-3}, language = {en}, }