Rule formats for compositional non-interference properties.

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

desirable properties
metadata
real time
active databases
data mining
genetic algorithm
information retrieval
multimedia
association rules
knowledge discovery
rule learning