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 条
  • [41] Back to inertia:: Theoretical implications of alternative styles of logical formalization
    Péli, GL
    Pólos, L
    Hannan, MT
    [J]. SOCIOLOGICAL THEORY, 2000, 18 (02) : 195 - 215
  • [42] A logical formalization for specifying authorizations in object-oriented databases
    Bai, Y
    Varadharajan, V
    [J]. RESEARCH ADVANCES IN DATABASE AND INFORMATION SYSTEMS SECURITY, 2000, 43 : 317 - 330
  • [43] Logical design of data warehouses from XML
    Banek, M
    Skocir, Z
    Vrdoljak, B
    [J]. CONTEL 2005: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, VOLS 1 AND 2, 2005, : 289 - 295
  • [44] A formalization of logical imaging for information retrieval using quantum theory
    Zuccon, G.
    Azzopardi, L. A.
    van Rijsbergen, C. T.
    [J]. DEXA 2008: 19TH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, : 3 - 8
  • [45] A logic programming framework for possibilistic argumentation:: Formalization and logical properties
    Alsinet, Teresa
    Chesnevar, Carlos I.
    Godo, Lluis
    Simari, Guillermo R.
    [J]. FUZZY SETS AND SYSTEMS, 2008, 159 (10) : 1208 - 1228
  • [46] The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation
    Kraal, Anders
    [J]. HISTORY AND PHILOSOPHY OF LOGIC, 2013, 34 (04) : 351 - 366
  • [47] Towards the Formalization of Fuzzy Relational Database Queries
    Perovkic, Aleksandar
    Takaci, Aleksandar
    Skrbic, Srdjan
    [J]. ACTA POLYTECHNICA HUNGARICA, 2009, 6 (01) : 185 - 193
  • [48] A modal logical approach for developing XML databases
    Department of Measurement and Information Systems, Budapest University of Technology and Economics, H-1521, pf. 91, Budapest, Hungary
    [J]. Period Polytech Electr Eng, 2006, 3-4 (223-240):
  • [49] Logical Implication of Structural Integrity Constraints for XML
    Zhang Jianmei
    Tao Shiqun
    Liang Jiye
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2009, 18 (02) : 243 - 248
  • [50] Weak AGM postulates and strong Ramsey test: A logical formalization
    Giordano, L
    Gliozzi, V
    Olivetti, N
    [J]. ARTIFICIAL INTELLIGENCE, 2005, 168 (1-2) : 1 - 37
12345