Towards an insider threat prediction specification language.

George Magklaras Steven Furnell Phillip J. Brooke

Published in: Inf. Manag. Comput. Secur. (2006)

Keyphrases

specification language
insider threat
programming language
formal specification
description language
database
security architecture
data sets
high level
software engineering
model checking
data leakage prevention