Trusted Software Verification: A Case Study.

Terry C. Vickers Benzel Deborah A. Tavilla

Published in: IEEE Symposium on Security and Privacy (1985)

Keyphrases

case study
test bed
real world
data mining
machine learning
bayesian networks
computer systems
distributed environment
trusted computing