Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5 ;
pp. 1365-1374 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Database Security Keyword: XML database, inference attack, security, verification, functional dependency,