Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2013/06/01 Vol. E96-DNo. 6 ;
pp. 1268-1277 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Static Analysis Keyword: inference attack, security, static analysis, XML database,
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,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-DNo. 5 ;
pp. 1022-1032 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Security Keyword: XML database, inference attack, security, verification,