Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis

@article{Kammller2014CombiningGD,
  title={Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis},
  author={Florian Kamm{\"u}ller and Christian W. Probst},
  journal={2014 IEEE Security and Privacy Workshops},
  year={2014},
  pages={229-235}
}
In this paper we revisit the advances made on invalidation policies to explore attack possibilities in organizational models. One aspect that has so far eloped systematic analysis of insider threat is the integration of data into attack scenarios and its exploitation for analyzing the models. We draw from recent insights into generation of insider data to complement a logic based mechanical approach. We show how insider analysis can be traced back to the early days of security verification and… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.