Noninterference specifications for secure systems.

Luke Nelson James Bornholt Arvind Krishnamurthy Emina Torlak Xi Wang

Published in: ACM SIGOPS Oper. Syst. Rev. (2020)

Keyphrases

data sets
neural network
high level
intelligent systems
real time
databases
management system
building blocks
learning systems