![](/img/cover-not-exists.png)
Modeling and Verification of Insider Threats Using Logical Analysis
Kammuller, Florian, Probst, Christian W.Year:
2015
Language:
english
Journal:
IEEE Systems Journal
DOI:
10.1109/JSYST.2015.2453215
File:
PDF, 634 KB
english, 2015