Volume: Vol-3713 DAMOCLES 2024 | Year: 2024

Paper: « paper_1 | paper_2 | paper_3 »

Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining

• Andrea Vandin ORCID dblp Wikidata
• Alberto Lluch-Lafuente ORCID dblp Wikidata GND
• Francesca Chiaromonte dblp Wikidata
• Andrea Burratin dblp
• Roberto Casaluce dblp

9-20 PDF