Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract).

Roberto Casaluce

Browse the full ICPM paper archive.