Verification of the Security against Inference Attacks on XML Databases
スポンサーリンク
概要
- 論文の詳細を見る
This paper discusses verification of the security against inference attacks on XML databases. First, a security definition called k-secrecy against inference attacks on XML databases is proposed. k-secrecy with an integer k > 1 (or k = ∞) means that attackers cannot narrow down the candidates for the value of the sensitive information to k - 1 (or finite), using the results of given authorized queries and schema information. Secondly, an XML query model such that verification can be performed straightforwardly according to the security definition is presented. The query model can represent practical queries which extract some nodes according to any of their neighboring nodes such as ancestors, descendants, and siblings. Thirdly, another refinement of the verification method is presented, which produces much smaller intermediate results if a schema contains no arbitrarily recursive element. The correctness of the refinement is proved, and the effect of the refinement in time and space efficiency has been confirmed by experiment.
- 2009-05-01
著者
-
Fujiwara Toru
Graduate School Of Engineering Science Osaka University
-
Ishihara Yasunori
Graduate School Of Information Science And Technology Osaka University
-
HASHIMOTO Kenji
Graduate School of Creative Science and Engineering, Waseda University
-
SAKANO Kimihide
Graduate School of Information Science and Technology, Osaka University
-
TAKASUKA Fumikazu
Graduate School of Information Science and Technology, Osaka University
-
Takasuka Fumikazu
Graduate School Of Information Science And Technology Osaka University
-
Hashimoto Kenji
Graduate School Of Creative Science And Engineering Waseda University
-
Hashimoto Kenji
Graduate School Of Information Science And Technology Osaka University
-
Sakano Kimihide
Graduate School Of Information Science And Technology Osaka University
-
Ishihara Yasunori
Osaka Univ. Suita‐shi Jpn
-
Fujiwara Toru
Graduate School Of Agricultural And Life Sciences The University Of Tokyo
-
Fujiwara Toru
The Graduate School Of Information Science And Technology Osaka University
関連論文
- Formation of Tissue Masses on Floral Inflorescence in A. thaliana Plants That Accumulate Reduced Levels of MT2a mRNA
- Formation of Tissue Masses on Floral Inflorescence in A. thaliana Plants That Accumulate Reduced Levels of MT2a mRNA (Plant Nutrition)
- Composition of Seed Storage Proteins Changed by Glutathione Treatment of Soybeans(Biochemistry & Molecular Biology)
- Independent Roles of Methionine and O-Acetyl-L-Serine in the Regulation of the β Subunit Gene of β-Conglycinin
- Localization of MT2a Gene Promoter Expression Is Different from the Site(s) of Copper Accumulation in the Roots of Transgenic Arabidopsis thaliana
- Independent roles of glutathione and O-acetyl-L-serine in regulation of sulfur-responsive gene expression in Arabidopsis thaliana
- Quantitative estimation of the contribution of the phloem in cadmium transport to grains in rice plants (Oryza sativa L.)(Plant Nutrition)
- Arabidopsis SNRK2.3 protein kinase is involved in the regulation of sulfur-responsive gene expression and O-acetyl-L-serine accumulation under limited sulfur supply(Plant Nutrition)
- Differential Distribution of Proteins Expressed in Companion Cells in the Sieve Element-Companion Cell Complex of Rice Plants
- Detection of nifH Sequences in Sugarcane (Saccharum officinarum L.) and Pineapple (Ananas comosus [L.] Merr.) (Soil Biology)
- Isolation and Characterization of a Novel Arabidopsis thaliana Mutant That Requires a High Concentration of Boron
- Expression of a Single-Chain Antibody against GA_ in Vascular Tissues Induces Dwarf Phenotype for Rice Plants(Plant Nutrition)
- Identification of Several Rice Genes Regulated by Si Nutrition(Plant Nutrition)
- Cloning of the Phloem-Specific Small Heat-Shock Protein from Leaves of Rice Plants(Plant Nutrition)
- Upregulation of the Genes for Ferritin, RNase, and DnaJ in Leaves of Rice Plants in Response to Sulfur Deficiency(Plant Nutrition)
- Cadmium Concentrations in the Phloem Sap of Rice Plants (Oryza saliva L.) Treated with a Nutrient Solution Containing Cadmium (Environment)
- Regulation of Sulfur-Responsive Gene Expression by Exogenously Applied Cytokinins in Arabidopsis thaliana
- Preferential Translocation of Boron to Young Leaves in Arabidopsis thaliana Regulated by the BOR1 Gene
- Possibility of companion cell-synthesized protein transport into Sieve Elements mitochondria
- ISOLATION AND CHARACTERIZATION OF THE BORl GENE
- DETECTION OF GREEN FLUORESCENCE PROTEIN AND β-GLUCURONIDASE PROTEIN IN THE PHLOEM SAP OF TRANSGENIC RICE PLANTS
- MAP and LogMAP Decoding Algorithms for Linear Block Codes Using a Code Structure(Special Section on Information Theory and Its Applications)
- The Vector Decomposition Problem
- RNAs DETECTED IN THE RICE PHLOEM SAP
- Flexible Timed-Release Encryption
- Cell-to-cell movement of endogenous proteins in plants. : In the case of CPC protein and TRXh
- Structural Analysis of Minimum Weight Codewords of the Extended (32, 21, 6) and (64, 45, 8) BCH Codes Using Invariance Property(HISC2006)
- The structure of the set of minimum weight codewords of the extended (32,21,6) and (64,45,8) BCH codes
- Sufficient Conditions for Ruling-Out Useless Iterative Steps in a Class of Iterative Decoding Algorithms (Special Section on Information Theory and Its Applications)
- Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code(Coding Theory)
- Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code(HISC2006)
- RNAs IN THE RICE PHLOEM SAP : CONSTRUCTION AND SEQUENCE ANALYSIS OF cDNA LIBRARY FROM RICE PHLOEM SAP
- Cell-to-Cell movement of ToMV carrying a mutation in the movement protein in tobacco plants expressing rice thioredoxin h.
- Glutathione Levels in Phloem Sap of Rice Plants under Sulfur Deficient Conditions
- A New Method for Direct Introduction of Chemicals into a Single Sieve Tube of Intact Rice Plants
- TRANSGENIC PLANT IN WHICH FLUORESCENCE INCREASE BY SULFUR DEFICIENCY
- TRANSLOCATION OF BORON FROM ROOTS TO SHOOTS IN AN Arabidopsis thaliana MUTANT, bor1-1
- Isolation and characterization of high-boron requiring mutants of Arabidopsis thaliana
- CHARACTERIZATION OF AN Arabidopsis SULFATE TRANSPORTER AST68 USING TRANSGENIC PLANTS
- A new method for direct introduction of chemicals into a single sieve tube of intact rice plants
- Performance Analysis for Binary Image of Linear Block Codes over an Extended Field of GF(2)
- Adaptive Recursive Maximum Likelihood Decoding Based on the Coarsest Parallel Concatenation Decomposition : Evaluation of the Decoding Complexity by Simulation
- Soft-Input Soft-Output Decoding Algorithm Based on Iterative Minimum Distance Search for Reed-Muller Codes
- Selecting the Search Centers of h-Chase Decoding Algorithms by Simulation
- The Optimal Sectionalized Trellises for the Generalized Version of Viterbi Algorithm of Linear Block Codes and Its Application to Reed-Muller Codes
- Verification of the Security against Inference Attacks on XML Databases
- A Formal Approach to Detecting Security Flaws in Object-Oriented Databases (Special Issue on New Generation Database Technologies)
- Assignment of Data Types to Words in a Natural Language Specification
- Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications
- Performance Analysis of Ordered Statistics Decoding for Error Correction in Digital Watermarking(HISC2006)
- The Local Weight Distributions of Transitive Invariant Codes and Their Punctured Codes
- Correctable Errors of Weight Half the Minimum Distance for the First-Order Reed-Muller Codes
- Disturbance Compensation Control for a Biped Vehicle
- Relations among the Local Weight Distributions of a Linear Block Code, Its Extended Code and Its Even Weight Subcode
- Toward Digital Watermarking for Cryptographic Data
- Sufficient Conditions for Update Operations on Object-Oriented Database to Preserve the Security against Inference Attacks(Databases)
- Security against Inference Attacks on Negative Information in Object-Oriented Databases(Database)
- Static Analysis for k-secrecy against Inference Attacks
- 10-19 Isolation and characterization of Arabidopsis thaliana mutants that require high boron supply for root elongation
- Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases
- A Recursive Method for Vector Generation in Non-increasing Order of Its Likelihood for All Binary Vectors and Its Application for Linear Block Code Decodings
- Deciding Schema k-Secrecy for XML Databases
- P10-7 Identification and expression analysis of BOR1-like boron transporters in wheat
- FOREWORD
- Runtime Control of a Program based on Quantitative Information Flow