You are about to access our book library "Formal Mitigation Strategies for the Insider Threat: A Security Model and Risk Analysis Framework full version" .