Formal query languages for secure relational databases (1994)

by M Winslett, K Smith, X Qian
Venue:ACM Transactions on Database Systems (TODS