Data base and computer systems security - Carroll, John Millar 1925- (The Q.E.D. monograph series, 1976)