DSpace Repository

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

Show simple item record

dc.contributor.author Ishihara, Yasunori en
dc.contributor.author Morita, Toshiyuki en
dc.contributor.author Seki, Hiroyuki en
dc.contributor.author Ito, Minoru en
dc.date.accessioned 2016-11-24T05:59:58Z en
dc.date.available 2016-11-24T05:59:58Z en
dc.date.issued 2007-01-24 en
dc.identifier.issn 10902724 en
dc.identifier.uri http://hdl.handle.net/10061/11113 en
dc.description.abstract A query is said to be secure against inference attacks by a user if there exists no database instance for which the user can infer the result of the query, using only authorized queries to the user. In this paper, first, the security problem against inference attacks on object-oriented databases is formalized. The definition of inference attacks is based on equational logic. Secondly, the security problem is shown to be undecidable, and a decidable sufficient condition for a given query to be secure under a given schema is proposed. The idea of the sufficient condition is to over-estimate inference attacks using over-estimated results of static type inference. The third contribution is to propose subclasses of schemas and queries for which the security problem becomes decidable. Lastly, the decidability of the security problem is shown to be incomparable with the static type inferability, although the tightness of the over-estimation of the inference attacks is affected in a large degree by that of the static type inference. en
dc.language.iso en en
dc.publisher Elsevier en
dc.rights Copyright c 2007 Elsevier Science B.V. All rights reserved. en
dc.subject Object-oriented database en
dc.subject Database security en
dc.subject Inference attack en
dc.subject Computational complexity en
dc.title An equational logic based approach to the security problem against inference attacks on object-oriented databases en
dc.type.nii Journal Article en
dc.contributor.alternative 石原, 靖哲 ja
dc.contributor.alternative 森多, 俊之 ja
dc.contributor.alternative 関, 浩之 ja
dc.contributor.alternative 伊藤, 実 ja
dc.textversion Author en
dc.identifier.ncid AA11534862 en
dc.identifier.jtitle Journal of Computer and System Sciences en
dc.identifier.volume 73 en
dc.identifier.issue 5 en
dc.identifier.spage 788 en
dc.identifier.epage 817 en
dc.relation.doi 10.1016/j.jcss.2007.01.001 en
dc.identifier.NAIST-ID 73292302 en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account