Security and inference in multilevel database and knowledge-base systems · Study