A security domain model to assess software for exploitable covert channels.

Alan B. Shaffer Mikhail Auguston Cynthia E. Irvine Timothy E. Levin

Published in: PLAS (2008)

Keyphrases

probabilistic model
conceptual model
neural network
computational model
formal model
cost function
statistical model
development process
case study
high level
domain knowledge
mathematical model
experimental data
metamodel