DSpace Kochi University of Technology
日本語

Kochi University of Technology Academic Resource Repository >
A.学術情報資料別 >
学術雑誌論文 >

Files in This Item:

File Description SizeFormat
28-50.pdf887.2 kBAdobe PDFView/Open
Title: A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
Authors: LAMILLA ALVAREZ, Pablo
TAKATA, Yoshiaki
Issue Date: May-2014
Publisher: 一般社団法人電子情報通信学会
Journal Title: IEICE Transactions on Information and Systems
Volume: E97-D
Issue: 5
Start Page: 1149
End Page: 1159
Abstract: Information-Based Access Control (IBAC) has been proposed as an improvement to History-Based Access Control (HBAC) model. In modern component-based systems, these access control models verify that all the code responsible for a security-sensitive operation is sufficiently authorized to execute that operation. The HBAC model, although safe, may incorrectly prevent the execution of operations that should be executed. The IBAC has been shown to be more precise than HBAC maintaining its safety level while allowing sufficiently authorized operations to be executed. However the verification problem of IBAC program has not been discussed. This paper presents a formal model for IBAC programs based on extended weighted pushdown systems (EWPDS). The mapping process between the IBAC original semantics and the EWPDS structure is described. Moreover, the verification problem for IBAC programs is discussed and several typical IBAC program examples using our model are implemented.
Rights: © 2014 The Institute of Electronics, Information and Communication Engineers
LAMILLA ALVAREZ, Pablo TAKATA, Yoshiaki, A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System, IEICE Transactions on Information and Systems, E97.D(5), 1149-1159, 2014-05
Rights URI: https://search.ieice.org/
DOI: 10.1587/transinf.E97.D.1149
Type: Journal Article
URI: http://hdl.handle.net/10173/1457
Appears in Collections:学術雑誌論文

Please use this identifier to cite or link to this item: http://hdl.handle.net/10173/1457

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Kochi University of Technology Library - Feedback