A model of program execution for security purposes.

Published in: IASTED Conf. on Software Engineering and Applications (2004)

Keyphrases

high level
management system
computational model
program execution
probabilistic model
prior knowledge
probability distribution
mathematical model
statistical model
formal model
case study
objective function
expert systems
statistical databases
security model