Formal Verification for Access Control in Web Information Sharing System

被引：0
|
作者：
Sakai, Akihiro [1 ]
Hori, Yoshiaki [2 ]
Sakurai, Kouichi [2 ]
机构：
[1] Kyushu Univ, Grad Sch Informat Sci & Elect Engn, Fukuoka 812, Japan
[2] Kyushu Univ, Fac Informat Sci & Elect Engn, Fukuoka 812, Japan
来源：
ADVANCES IN INFORMATION SECURITY AND ASSURANCE | 2009年 / 5576卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
When we write access-control description of the Web Applications using the group and the role, there is a problem that it is difficult for a user to decide the joint ownership partner of data. Therefore, there are the trials for describing access-control using social networks. However, unexpected defects might sneak in this description if it is marked in a careless manner. In this paper, we propose the formal definition of the access-control description consist of the first-order predicate logic for the automatic checking.
引用
收藏
页码：80 / +
页数：2
相关论文
共 50 条
  • [21] Secure Access Control for Health Information Sharing Systems
    Alshehri, Suhair
    Raj, Rajendra K.
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON HEALTHCARE INFORMATICS (ICHI 2013), 2013, : 277 - 286
  • [22] Formal verification of safety protocol in train control system
    ZHANG YanTANG TaoLI KePingMERA Jose ManuelZHU LiZHAO Lin XU TianHua State Key Laboratory of Rail Traffic Control and SafetyBeijing Jiaotong UniversityBeijing China Railway Technologies Research CentreUniversidad Politcnica de MadridMadrid Spain
    [J]. Science China(Technological Sciences), 2011, 54 (11) : 3078 - 3090
  • [23] Formal verification of safety protocol in train control system
    Yan Zhang
    Tao Tang
    KePing Li
    Jose Manuel Mera
    Li Zhu
    Lin Zhao
    TianHua Xu
    [J]. Science China Technological Sciences, 2011, 54 : 3078 - 3090
  • [24] Formal Verification in Web Services Composition
    Todica, Valeriu
    Vaida, Mircea-Florin
    Cremene, Marcel
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 195 - 200
  • [25] Web-Based Sharing of Electrocardiograms: Privacy and Access Control
    Yuan, Shizhong
    Wei, Daming
    Xu, Weimin
    Shen, Wenfeng
    [J]. WISM: 2009 INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND MINING, PROCEEDINGS, 2009, : 82 - +
  • [26] Access Control and Information Flow Control for Web Services Security
    Kedjar, Saadia
    Tari, Abdelkamel
    Bertok, Peter
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2016, 11 (01) : 44 - 76
  • [27] Information Flow Control in Software DB Units Based on Formal Verification
    A. A. Timakov
    [J]. Programming and Computer Software, 2022, 48 : 265 - 285
  • [28] Information Flow Control in Software DB Units Based on Formal Verification
    Timakov, A. A.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2022, 48 (04) : 265 - 285
  • [29] Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control
    Schiffl, Jonas
    Grundmann, Matthias
    Leinweber, Marc
    Stengele, Oliver
    Friebe, Sebastian
    Beckert, Bernhard
    [J]. PROCEEDINGS OF THE 26TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, SACMAT 2021, 2021, : 125 - 130
  • [30] Formal Verification of a MEMS Based Adaptive Cruise Control System
    Jairam, S.
    Lata, Kusum
    Roy, Subir K.
    Bhat, Navakanta
    [J]. NSTI NANOTECH 2008, VOL 3, TECHNICAL PROCEEDINGS: MICROSYSTEMS, PHOTONICS, SENSORS, FLUIDICS, MODELING, AND SIMULATION, 2008, : 611 - +
12345