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
来源
关键词
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 条
  • [1] A logical formalization of secure XML database
    Université de Pau et des Pays de l'Adour, IUT de Mont de Marsan, LIUPPA/CSySEC, 40 000 Mont de Marsan, France
    [J]. Comput Syst Sci Eng, 2006, 5 (353-366):
  • [2] A logical formalization of integrity policies for database management systems
    Cuppens, F
    Saurel, C
    [J]. INTEGRITY AND INTERNAL CONTROL IN INFORMATION SYSTEMS, 1998, : 231 - 253
  • [3] Local relational model: A logical formalization of database coordination
    Serafini, L
    Giunchiglia, F
    Mylopoulos, J
    Bernstein, P
    [J]. MODELING AND USING CONTEXT, PROCEEDINGS, 2003, 2680 : 286 - 299
  • [4] Criteria for logical formalization
    Peregrin, Jaroslav
    Svoboda, Vladimir
    [J]. SYNTHESE, 2013, 190 (14) : 2897 - 2924
  • [5] Criteria for logical formalization
    Jaroslav Peregrin
    Vladimír Svoboda
    [J]. Synthese, 2013, 190 : 2897 - 2924
  • [6] A logical method of formalization for granular computing
    Lin, Yan
    Qing, Liu
    [J]. GRC: 2007 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, PROCEEDINGS, 2007, : 22 - +
  • [7] THE CONSEQUENTS OF ORGANIZER ECOLOGIES: A LOGICAL FORMALIZATION
    Kuilman, Jeroen G.
    Vermeulen, Ivar
    Li, Jiatao
    [J]. ACADEMY OF MANAGEMENT REVIEW, 2009, 34 (02): : 253 - 272
  • [8] ON A LOGICAL FORMALIZATION OF NATURAL-LANGUAGE
    PEREGRIN, J
    [J]. KYBERNETIKA, 1990, 26 (04) : 327 - 341
  • [9] A logical formalization of semistructured data models
    Badia, A
    [J]. FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2002, 2366 : 472 - 481
  • [10] Formalization based on XML Path Redundancy
    Wang, MeiJuan
    Cao, LuZhou
    [J]. 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, 2014, : 158 - +