Type Inferability and Decidability of the Security Problem Against Inference Attacks on Object-Oriented Databases.

Yasunori Ishihara Yumi Shimakawa Toru Fujiwara Type Inferability and Decidability of the Security Problem Against Inference Attacks on Object-Oriented Databases. 145-157 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3269&spage=145 2004 conf/icics/2004 ICICS db/conf/icics/icics2004.html#IshiharaSF04