Formal verification for access control in web information sharing system

Akihiro Sakai, Yoshiaki Hori, Kouichi Sakurai

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

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.

本文言語英語
ホスト出版物のタイトルAdvances in Information Security and Assurance - Third International Conference and Workshops, ISA 2009, Proceedings
ページ80-89
ページ数10
DOI
出版ステータス出版済み - 11 9 2009
イベント3rd International Conference on Information Security and Assurance, ISA 2009 - Seoul, 大韓民国
継続期間: 6 25 20096 27 2009

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5576 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他3rd International Conference on Information Security and Assurance, ISA 2009
国/地域大韓民国
CitySeoul
Period6/25/096/27/09

All Science Journal Classification (ASJC) codes

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Formal verification for access control in web information sharing system」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル