Dynamic intransitive noninterference revisited.

Sebastian Eggert Ron van der Meyden

Published in: Formal Aspects Comput. (2017)

Keyphrases

dynamic environments
databases
learning algorithm
information systems
expert systems
pairwise
image retrieval
probabilistic model
management system
security policies