title: formal query languages for secure relational databases. authors: marianne winslett , kenneth smith , xiaolei qian. venue: acm trans . database syst .. year: 1994.0
title: formal query languages for secure relational databases 1994. authors: marianne winslett , kenneth smith , xiaolei qian. venue: acm transactions on database systems ( tods ). year: nan