Verifying Secrets and Relative Secrecy.

Dennis M. Volpano Geoffrey Smith

Published in: POPL (2000)

Keyphrases

model checking
data sets
machine learning
e learning
evolutionary algorithm
low cost
key management
spread spectrum