共 50 条
- [2] A Formal Implementation of Database Security [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 [J]. APTC 2008: THIRD ASIA-PACIFIC TRUSTED INFRASTRUCTURE TECHNOLOGIES CONFERENCE, PROCEEDINGS, 2008, : 132 - 141
- [5] Multilevel Policy Based Security in Distributed Database [J]. ADVANCES IN COMPUTING AND COMMUNICATIONS, PT I, 2011, 190 : 572 - 580
- [6] Formal security model of multisignatures [J]. INFORMATION SECURITY, PROCEEDINGS, 2006, 4176 : 146 - 160
- [7] Reconstructing a formal security model [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (11) : 649 - 657
- [8] Encryption Based On Multilevel Security for Relational Database EBMSR [J]. 2019 INTERNATIONAL CONFERENCE ON PROMISING ELECTRONIC TECHNOLOGIES (ICPET 2019), 2019, : 130 - 135
- [9] IFO - A FORMAL SEMANTIC DATABASE MODEL [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1987, 12 (04): : 525 - 565
- [10] ARCHITECTURE AND FORMAL MODEL OF SHARED DATABASE [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1985, 11 (04) : 217 - 223