An equational logic based approach to the security problem against inference attacks on object-oriented databases.

Yasunori Ishihara Toshiyuki Morita Hiroyuki Seki Minoru Ito An equational logic based approach to the security problem against inference attacks on object-oriented databases. 788-817 2007 73 J. Comput. Syst. Sci. 5 http://dx.doi.org/10.1016/j.jcss.2007.01.001 db/journals/jcss/jcss73.html#IshiharaMSI07