Deducibility Security with Dynamic Level Assignment. - Ian Sutherland; Stanley Perlo; Rammohan Varadarajan (CSFW, 1989)