{"labels":{"en":"Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3713"},"claims":{"P31":"Q13442814","P1433":"Q126959018","P1476":{"text":"Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3713/paper_2.pdf","P50":[{"value":"Q30089922","qualifiers":{"P1545":"3"}},{"value":"Q56491856","qualifiers":{"P1545":"4"}},{"value":"Q56491394","qualifiers":{"P1545":"5"}}],"P2093":[{"value":"Roberto Casaluce","qualifiers":{"P1545":"1"}},{"value":"Andrea Burratin","qualifiers":{"P1545":"2"}}]}}