A logical formalization of secure XML database

被引：0
|
作者：
Gabillon, Alban [1 ]
机构：
[1] Univ Pau & Pays Adour, IUT Mont de Marsan, LIUPPA, CSySEC, F-40000 Mont De Marsan, France
来源：
COMPUTER SYSTEMS SCIENCE AND ENGINEERING | 2006年 / 21卷 / 05期
关键词：
secure XML database; privacy; security; logical theory; XPath; XUpdate;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we first define a logical theory representing an XML database supporting XPath as query language and XUpdate as modification language. We then extend our theory with predicates allowing us to specify the security policy protecting the database. The security policy includes rules addressing the read and write privileges. We propose axioms to derive the database view each user is permitted to see. We also propose axioms to derive the new database content after an update.
引用
收藏
页码：353 / 365
页数：13
相关论文
共 50 条
  • [31] On database theory and XML
    [J]. 2001, Association for Computing Machinery (30):
  • [32] A derivation system for security protocols and its logical formalization
    Datta, A
    Derek, A
    Mitchell, JC
    Pavlovic, D
    [J]. 16TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2003, : 109 - 125
  • [33] Extending XML database to support open XML
    Wang, JY
    Zhou, KY
    Karun, K
    Scardina, M
    [J]. 20TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS, 2004, : 813 - 816
  • [34] XML Database Transformations
    Schewe, Klaus-Dieter
    Wang, Qing
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (20) : 3043 - 3072
  • [35] Secure XML Labeling for Efficient XML Content Dissemination
    Sankari, S.
    Bose, S.
    [J]. 2014 SIXTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING, 2014, : 150 - 156
  • [36] FORMALIZATION OF ALGORITHMS FOR RELATIONAL DATABASE MACHINES
    RYVKIN, VM
    KOMAROV, PI
    NAZAROV, AS
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1986, 12 (01) : 36 - 43
  • [37] On the efficiency of secure XML broadcasting
    Ko, Hye-Kyeong
    Kim, Min-Jecing
    Lee, SangKeun
    [J]. INFORMATION SCIENCES, 2007, 177 (24) : 5505 - 5521
  • [38] Towards secure XML federations
    Wang, LY
    Wijesekera, D
    Jajodia, S
    [J]. RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY, 2003, 128 : 117 - 131
  • [39] Secure publishing of XML documents
    Carminati, B
    [J]. XML-BASED DATA MANAGEMENT AND MULTIMEDIA ENGINEERING-EDBT 2002 WORKSHOPS, 2002, 2490 : 587 - 596
  • [40] Formalization of Secure Service Oriented Product Line
    Achour, Ines
    Labed, Lamia
    Ben Ghezala, Henda
    [J]. 2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, : 93 - 99
12345