A formal approach to detecting security flaws in object-oriented database schemas," NAIST (1998)

by T Morita, Y Ishihara, M Ito
Venue:in Handbook of Logic in Artificial Intelligence and Logic Programming