Static analysis based correctness verification for mandatory access control framework

被引：0
|
作者：
Wu, Xin-Song [1 ,2 ]
Zhou, Zhou-Yi [1 ,2 ]
He, Ye-Ping [1 ]
Liang, Hong-Liang [1 ]
Yuan, Chun-Yang [3 ]
机构：
[1] Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
[2] Graduate University, Chinese Academy of Sciences, Beijing 100049, China
[3] National Computer Network Emergency Response Technical Team/Coordination Center of China, Beijing 100029, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2009年 / 32卷 / 04期
关键词：
Static analysis;
D O I：
10.3724/SP.J.1016.2009.00730
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：730 / 739
相关论文
共 50 条
  • [1] Formal Verification of Mandatory access control for Privacy Cloud
    Zhu, Yi
    Zhu, Hong
    [J]. 2013 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2013, : 297 - 300
  • [2] A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs
    Glukhikh, Mikhail
    Moiseev, Mikhail
    Salishev, Sergey
    [J]. 16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 89 - 96
  • [3] MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES
    Hu, Vincent C.
    Kuhn, D. Richard
    Xie, Tao
    Hwang, Jeehyun
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2011, 21 (01) : 103 - 127
  • [4] A formal verification framework for static analysis
    Albert, Elvira
    Bubel, Richard
    Genaim, Samir
    Haehnle, Reiner
    Puebla, German
    Roman-Diez, Guillermo
    [J]. SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 987 - 1012
  • [5] A Formal Model and Correctness Proof for an Access Control Policy Framework
    Wu, Chunhan
    Zhang, Xingyuan
    Urban, Christian
    [J]. CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 292 - 307
  • [6] Static verification of access control model for AXML documents
    Kim, Il-Gon
    [J]. Advances in Data and Web Management, Proceedings, 2007, 4505 : 687 - 696
  • [7] Security analysis of Mandatory Access Control Model
    Jiang, YX
    Lin, CC
    Yin, H
    Tan, ZX
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5013 - 5018
  • [8] Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants
    Ponugoti, Kushal K.
    [J]. 2024 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY, EIT 2024, 2024, : 215 - 220
  • [9] Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants
    Ponugoti, Kushal K.
    [J]. IEEE International Conference on Electro Information Technology, 2024, : 215 - 220
  • [10] A UML-based static verification framework for security
    Igor Siveroni
    Andrea Zisman
    George Spanoudakis
    [J]. Requirements Engineering, 2010, 15 : 95 - 118
12345