Sufficient Conditions for Update Operations on Object-Oriented Database to Preserve the Security against Inference Attacks(Databases)
スポンサーリンク
概要
- 論文の詳細を見る
Detecting the possibility of inference attacks is necessary in order to keep a database secure Inference attacks mean that a user tries to infer the result of an unauthorized queries to the user. For method schemas, which are a formal model of object-oriented databases, it is known that the security problem against inference attacks is decidable in polynomial time in the size of a given database instance. However, when the database instance or authorization has slightly been updated, it is not desirable to check the entire database again for efficiency. In this paper, we propose several sufficient conditions for update operations to preserve the security. Furthermore, we show that some of the proposed sufficient conditions can be decided much more efficiently than the entire security check. Thus, the sufficient conditions are useful for incremental security checking.
- 社団法人電子情報通信学会の論文
- 2003-10-01
著者
-
Fujiwara Toru
Graduate School Of Engineering Science Osaka University
-
Ishihara Yasunori
Graduate School Of Information Science And Technology Osaka University
-
MORI Kengo
Graduate School of Information Science and Technology, Osaka University
-
Mori Kengo
Graduate School Of Information Science And Technology Osaka University:(present Address) Nec Corpora
-
Fujiwara Toru
Graduate School Of Agricultural And Life Sciences The University Of Tokyo
関連論文
- 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
- 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)
- 10-19 Isolation and characterization of Arabidopsis thaliana mutants that require high boron supply for root elongation
- 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
- P10-7 Identification and expression analysis of BOR1-like boron transporters in wheat