Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis

Florian Kammuller, Christian W. Probst

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

292 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis'. Together they form a unique fingerprint.

Business & Economics