Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis.
Florian Kammller, Christian W. Probst
VenueA*SP
Year2014
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/KammullerP14 ↗
Browse the full SP paper archive.