Formal Verification of Mandatory access control for Privacy Cloud

被引：0
|
作者：
Zhu, Yi [1 ]
Zhu, Hong [1 ]
机构：
[1] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan, Hubei, Peoples R China
来源：
2013 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT) | 2013年
关键词：
Formal Verification; Mandatory access control; Privacy cloud;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
According to the multiple security levels requirement of privacy cloud, we firstly propose a mandatory access control model for privacy cloud. Secondly, we illustrate the function of each module in the model. Thirdly, present the implementation model based on the data flow technology corresponding to each module. Fourthly, formally descript our models. Finally, verification results show that our mandatory access control model performs the security policy in the privacy cloud effectively.
引用
收藏
页码：297 / 300
页数：4
相关论文
共 50 条
  • [1] A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification
    Alam, Quratulain
    Malik, Saif U. R.
    Akhunzada, Adnan
    Choo, Kim-Kwang Raymond
    Tabbasum, Saher
    Alam, Masoom
    [J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2017, 12 (06) : 1259 - 1268
  • [2] 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
  • [3] Formal Verification of Differential Privacy
    Gaboardi, Marco
    [J]. PLAS'18: PROCEEDINGS OF THE 13TH WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2018, : 1 - 1
  • [4] UML specification of access control policies and their formal verification
    Koch M.
    Parisi-Presicce F.
    [J]. Software & Systems Modeling, 2006, 5 (4) : 429 - 447
  • [5] Mandatory Content Access Control for Privacy Protection in Information Centric Networks
    Li, Qi
    Sandhu, Ravi
    Zhang, Xinwen
    Xu, Mingwei
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2017, 14 (05) : 494 - 506
  • [6] Privacy Preserving and Delegated Access Control for Cloud Applications
    Xinfeng Ye
    [J]. Tsinghua Science and Technology, 2016, 21 (01) : 40 - 54
  • [7] Privacy-Preserved Access Control for Cloud Computing
    Zhou, Miao
    Mu, Yi
    Susilo, Willy
    Au, Man Ho
    Yan, Jun
    [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 83 - 90
  • [8] Privacy-Preserving Access Control in Cloud Federations
    Alansari, Shorouq
    Paci, Federica
    Margheri, Andrea
    Sassone, Vladimiro
    [J]. 2017 IEEE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD), 2017, : 757 - 760
  • [9] Privacy Preserving and Delegated Access Control for Cloud Applications
    Ye, Xinfeng
    [J]. TSINGHUA SCIENCE AND TECHNOLOGY, 2016, 21 (01) : 40 - 54
  • [10] Static analysis based correctness verification for mandatory access control framework
    Wu, Xin-Song
    Zhou, Zhou-Yi
    He, Ye-Ping
    Liang, Hong-Liang
    Yuan, Chun-Yang
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 730 - 739
12345