Vol-3487⫷ Vol-3488 ⫸Vol-3489
urn:nbn:de:0074-3488-0


Vol-3488/paper01⫷Vol-3488/paper02⫸Vol-3488/paper03
Mauro AndreoliniAndrea ArtioliLuca FerrettiMirco MarchettiMichele Colajanni

A Framework for Automating Security Assessments with Deductive Reasoning