Towards a Holistic Understanding of Security Process: Formal Controls and Informal Relationships.

Max Soyref Philip Seltsikas

Published in: HICSS (2014)

Keyphrases

formal methods
functional requirements
formal specification
knowledge base
real time
data mining
learning algorithm
expert systems
process model
external representations