A Formal Multilevel Database Security Model

被引:0
|
作者
Wang Baohua [1 ]
Ma Xinqiang [2 ]
Li Danning [3 ]
机构
[1] Huaibei Coal Ind Teachers Coll, Sch Comp Sci & Tech, Huaibei 235000, Peoples R China
[2] Chongqing Univ Arts & Sci, Coll Comp Sci, Chongqing 402160, Peoples R China
[3] Guizhou Acad Sci, Guiyang 550001, Peoples R China
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Research of the security model is one of security system keys. The secrecy and the integrity are two important demands of security system. BLP model mainly satisfies the secret request, and Biba model emphasises the integrity request. The few security models unify the secrecy with the integrity. A mutilevel database security model increases integrity examination in the foundation of original secret request. The comparison way of the subject and the object is corresponded with the way of operating mode, and it stengthens the security and the usability of the system.LogicSQL database is the independent development high security rank database based on the linux. The multilevel database security model is applied in the LogicSQL database management system.
引用
收藏
页码:815 / +
页数:2
相关论文
共 50 条
  • [2] A Formal Implementation of Database Security
    Bai, Yun
    [J]. PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 13, 2006, 13 : 90 - 92
  • [3] Formal Specification and Verification of an Extended Security Policy Model for Database Systems
    Hong, Zhu
    Yi, Zhu
    Li Chenyang
    Jie, Shi
    Ge, Fu
    Wang Yuanzhen
    [J]. APTC 2008: THIRD ASIA-PACIFIC TRUSTED INFRASTRUCTURE TECHNOLOGIES CONFERENCE, PROCEEDINGS, 2008, : 132 - 141
  • [4] VIEWS FOR MULTILEVEL DATABASE-SECURITY
    DENNING, DE
    AKL, SG
    HECKMAN, M
    LUNT, TF
    MORGENSTERN, M
    NEUMANN, PG
    SCHELL, RR
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (02) : 129 - 140
  • [5] Multilevel Policy Based Security in Distributed Database
    Batra, Neera
    Singh, Manpreet
    [J]. ADVANCES IN COMPUTING AND COMMUNICATIONS, PT I, 2011, 190 : 572 - 580
  • [6] Formal security model of multisignatures
    Komano, Yuichi
    Ohta, Kazuo
    Shimbo, Atsushi
    Kawamura, Shinichi
    [J]. INFORMATION SECURITY, PROCEEDINGS, 2006, 4176 : 146 - 160
  • [7] Reconstructing a formal security model
    Ahn, GJ
    Hong, SP
    Shin, ME
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (11) : 649 - 657
  • [8] Encryption Based On Multilevel Security for Relational Database EBMSR
    Mahmoud, Ahmed Y.
    Abu Alqumboz, Mohammed Naji
    [J]. 2019 INTERNATIONAL CONFERENCE ON PROMISING ELECTRONIC TECHNOLOGIES (ICPET 2019), 2019, : 130 - 135
  • [9] IFO - A FORMAL SEMANTIC DATABASE MODEL
    ABITEBOUL, S
    HULL, R
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (04): : 525 - 565
  • [10] ARCHITECTURE AND FORMAL MODEL OF SHARED DATABASE
    NESTERENKO, AI
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (04) : 217 - 223