68 citations · 118 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020★ 1 cited
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
Nikita Johnson, Youcef Gheraibia, Tim Kelly
Safety Security Assurance Framework applied to two standards IEC 61508 and Common Criteria - ISO 15408
cs.SE2020★ 28 cited
Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
Simon Foster, Yakoub Nemouchi, Mario Gleirscher +2
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. H…