Formalization and Proof of Secrecy Properties.

Dennis M. Volpano

Published in: CSFW (1999)

Keyphrases

neural network
desirable properties
imperative programs
data sets
data model
key management
security properties
real time
learning algorithm
website
proof theory