A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control

スポンサーリンク

概要

• 論文の詳細を見る

• Information-Based Access Control (IBAC) has been proposed as an improvement to History-Based Access Control (HBAC) model. IBAC has been shown to be more precise than HBAC which is excessively restrictive in some cases and may incorrectly prevent the execution of operations that should be executed. However the verification problem of IBAC program has not been discussed. This paper presents a formal model for IBAC programs based on the transition systems called weighted pushdown systems (WPDS). The mapping process between the IBAC original semantics and the WPDS structure is described. Moreover, the verification problem for IBAC programs is discussed.

• 2012-05-03

著者

• Takata Yoshiaki

  Kochi Univ. Technol. Kami‐shi Jpn

• Takata Yoshiaki

  Kochi University Of Technology

• LAMILLA ALVAREZ

  Kochi University of Technology

関連論文

• New certificate chain discovery methods for trust establishment in ad hoc networks and their evaluation (特集:次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
• Policy Controlled System and Its Model Checking
• Decidability of the Security Verification Problem for Programs with Stack Inspection
• Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
• Comparison of the Expressive Power of Language-Based Access Control Models
• A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control

スポンサーリンク