Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

Abstract

Publication
Workshop on Formal Methods in the Development of Software (co-located with SEFM)
Date