{"_buckets": {"deposit": "e0580f49-d3b0-4f3e-b802-6688e0789e70"}, "_deposit": {"created_by": 2, "id": "273", "owners": [2], "pid": {"revision_id": 0, "type": "depid", "value": "273"}, "status": "published"}, "_oai": {"id": "oai:kutarr.kochi-tech.ac.jp:00000273", "sets": ["5"]}, "author_link": ["1171", "1172"], "item_2_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2014-05", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "5", "bibliographicPageEnd": "1159", "bibliographicPageStart": "1149", "bibliographicVolumeNumber": "E97-D", "bibliographic_titles": [{"bibliographic_title": "IEICE Transactions on Information and Systems"}]}]}, "item_2_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "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.", "subitem_description_type": "Abstract"}]}, "item_2_publisher_35": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "一般社団法人電子情報通信学会"}]}, "item_2_relation_13": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "10.1587/transinf.E97.D.1149", "subitem_relation_type_select": "DOI"}}]}, "item_2_rights_14": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "© 2014 The Institute of Electronics, Information and Communication Engineers"}, {"subitem_rights": "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"}]}, "item_2_rights_15": {"attribute_name": "権利（URI）", "attribute_value_mlt": [{"subitem_rights": "https://search.ieice.org/ | https://search.ieice.org/"}]}, "item_2_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0916-8532", "subitem_source_identifier_type": "ISSN"}]}, "item_2_version_type_18": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "LAMILLA, ALVAREZ Pablo"}], "nameIdentifiers": [{"nameIdentifier": "1171", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "TAKATA, Yoshiaki"}], "nameIdentifiers": [{"nameIdentifier": "1172", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-02-13"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "28-50.pdf", "filesize": [{"value": "908.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 908500.0, "url": {"label": "28-50.pdf", "url": "https://kutarr.kochi-tech.ac.jp/record/273/files/28-50.pdf"}, "version_id": "c2dcf38c-4b0c-473d-bebd-d6184c56d271"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "weighted pushdown systems", "subitem_subject_scheme": "Other"}, {"subitem_subject": "access control", "subitem_subject_scheme": "Other"}, {"subitem_subject": "model checking", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System"}]}, "item_type_id": "2", "owner": "2", "path": ["5"], "permalink_uri": "http://hdl.handle.net/10173/1457", "pubdate": {"attribute_name": "公開日", "attribute_value": "2017-03-24"}, "publish_date": "2017-03-24", "publish_status": "0", "recid": "273", "relation": {}, "relation_version_is_last": true, "title": ["A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System"], "weko_shared_id": -1}