Towards an insider threat prediction specification language
A Primer in Game Theory