ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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}
  1. 学術雑誌論文

A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System

http://hdl.handle.net/10173/1457
http://hdl.handle.net/10173/1457
8c916410-f48b-420f-9b5f-52f94951d482
名前 / ファイル ライセンス アクション
28-50.pdf 28-50.pdf (908.5 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2017-03-24
タイトル
タイトル A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
言語
言語 eng
キーワード
主題Scheme Other
主題 weighted pushdown systems
キーワード
主題Scheme Other
主題 access control
キーワード
主題Scheme Other
主題 model checking
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ journal article
著者 LAMILLA, ALVAREZ Pablo

× LAMILLA, ALVAREZ Pablo

WEKO 1171

LAMILLA, ALVAREZ Pablo

Search repository
TAKATA, Yoshiaki

× TAKATA, Yoshiaki

WEKO 1172

TAKATA, Yoshiaki

Search repository
抄録
内容記述タイプ 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.
書誌情報 IEICE Transactions on Information and Systems

巻 E97-D, 号 5, p. 1149-1159, 発行日 2014-05
ISSN
収録物識別子タイプ ISSN
収録物識別子 0916-8532
DOI
関連タイプ isIdenticalTo
識別子タイプ DOI
関連識別子 10.1587/transinf.E97.D.1149
権利
権利情報 © 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
権利(URI)
権利情報 https://search.ieice.org/ | https://search.ieice.org/
著者版フラグ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
出版者
出版者 一般社団法人電子情報通信学会
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:39:42.554054
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3