Florian Kammüller, Christian W. Probst. Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis. In 35. IEEE Security and Privacy Workshops, SPW 2014, San Jose, CA, USA, May 17-18, 2014. pages 229-235, IEEE Computer Society, 2014. [doi]
Abstract is missing.