WEKO3
アイテム
{"_buckets": {"deposit": "fe5f4c26-6b20-4a3d-a8b0-834f300f20b1"}, "_deposit": {"created_by": 2, "id": "126", "owners": [2], "pid": {"revision_id": 0, "type": "depid", "value": "126"}, "status": "published"}, "_oai": {"id": "oai:kutarr.kochi-tech.ac.jp:00000126", "sets": ["5"]}, "author_link": ["452", "454", "453", "455"], "item_2_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2005-07-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "7", "bibliographicPageEnd": "1696", "bibliographicPageStart": "1685", "bibliographicVolumeNumber": "E88-D", "bibliographic_titles": [{"bibliographic_title": "IEICE Transactions on Information and Systems"}]}]}, "item_2_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "A policy is an execution rule (or constraint) for objects in a system to retain security and integrity of the system. We introduce a simple policy specification language and define its operational semantics. A new NFA construction algorithm that works in linear time is proposed and a model checking method for policy controlled system (PCS) is presented. We conducted verification of a sample PCS for hotel reservation by our automatic verification tool and the experimental results showed the efficiency of the proposed method.", "subitem_description_type": "Abstract"}]}, "item_2_publisher_35": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "The Institute of Electronics, Information and Communication Engineers"}]}, "item_2_relation_13": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isIdenticalTo", "subitem_relation_type_id": {"subitem_relation_type_id_text": "10.1093/ietisy/e88-d.7.1685", "subitem_relation_type_select": "DOI"}}]}, "item_2_relation_44": {"attribute_name": "関係URI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "http://search.ieice.org/"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://search.ieice.org/", "subitem_relation_type_select": "URI"}}]}, "item_2_rights_14": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "Copyright © 2005 The Institute of Electronics, Information and Communication Engineers"}]}, "item_2_source_id_11": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA10826272", "subitem_source_identifier_type": "NCID"}]}, "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": "KUNINOBU, Shigeta"}], "nameIdentifiers": [{"nameIdentifier": "452", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "TAKATA, Yoshiaki"}], "nameIdentifiers": [{"nameIdentifier": "453", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "NITTA, Naoya"}], "nameIdentifiers": [{"nameIdentifier": "454", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SEKI, Hiroyuki"}], "nameIdentifiers": [{"nameIdentifier": "455", "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": "IEICE_E88-D_7_1685.pdf", "filesize": [{"value": "1.4 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 1400000.0, "url": {"label": "IEICE_E88-D_7_1685.pdf", "url": "https://kutarr.kochi-tech.ac.jp/record/126/files/IEICE_E88-D_7_1685.pdf"}, "version_id": "d9f80a9b-3963-46ad-8e74-86c94979a173"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "policy control", "subitem_subject_scheme": "Other"}, {"subitem_subject": "policy controlled system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "verification", "subitem_subject_scheme": "Other"}, {"subitem_subject": "model checking", "subitem_subject_scheme": "Other"}, {"subitem_subject": "pushdown system", "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": "Policy Controlled System and Its Model Checking", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Policy Controlled System and Its Model Checking"}]}, "item_type_id": "2", "owner": "2", "path": ["5"], "permalink_uri": "http://hdl.handle.net/10173/674", "pubdate": {"attribute_name": "公開日", "attribute_value": "2011-06-23"}, "publish_date": "2011-06-23", "publish_status": "0", "recid": "126", "relation": {}, "relation_version_is_last": true, "title": ["Policy Controlled System and Its Model Checking"], "weko_shared_id": -1}
Policy Controlled System and Its Model Checking
http://hdl.handle.net/10173/674
http://hdl.handle.net/10173/674d6bc111b-7bcd-426a-95a0-4b2383edb104
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2011-06-23 | |||||
タイトル | ||||||
タイトル | Policy Controlled System and Its Model Checking | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | policy control | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | policy controlled system | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | verification | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | model checking | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | pushdown system | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
KUNINOBU, Shigeta
× KUNINOBU, Shigeta× TAKATA, Yoshiaki× NITTA, Naoya× SEKI, Hiroyuki |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | A policy is an execution rule (or constraint) for objects in a system to retain security and integrity of the system. We introduce a simple policy specification language and define its operational semantics. A new NFA construction algorithm that works in linear time is proposed and a model checking method for policy controlled system (PCS) is presented. We conducted verification of a sample PCS for hotel reservation by our automatic verification tool and the experimental results showed the efficiency of the proposed method. | |||||
書誌情報 |
IEICE Transactions on Information and Systems 巻 E88-D, 号 7, p. 1685-1696, 発行日 2005-07-01 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0916-8532 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA10826272 | |||||
DOI | ||||||
関連タイプ | isIdenticalTo | |||||
識別子タイプ | DOI | |||||
関連識別子 | 10.1093/ietisy/e88-d.7.1685 | |||||
権利 | ||||||
権利情報 | Copyright © 2005 The Institute of Electronics, Information and Communication Engineers | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
出版者 | ||||||
出版者 | The Institute of Electronics, Information and Communication Engineers | |||||
関係URI | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://search.ieice.org/ | |||||
関連名称 | http://search.ieice.org/ |