TY - CHAP AU - Edward Griffor C2 - Handbook of System Safety and Security, Elsevier, Atlanta, GA DA - 2017-01-01 05:01:00 DO - https://doi.org/10.1016/B978-0-12-803773-7.00007-3 LA - en PB - Handbook of System Safety and Security, Elsevier, Atlanta, GA PY - 2017 TI - Reasoning about Safety and Security: The Logic of Assurance ER -