Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values.

Afshin Lamei Mehran S. Fallah

Published in: J. Univers. Comput. Sci. (2016)

Keyphrases

intermediate level
access control
neural network
e learning
user defined
parameter values
control program
data sets
learning algorithm
stable models
rewriting systems