{"created":"2023-05-15T12:35:12.353941+00:00","id":126,"links":{},"metadata":{"_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","filename":"IEICE_E88-D_7_1685.pdf","filesize":[{"value":"1.4 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-06-23"},"publish_date":"2011-06-23","publish_status":"0","recid":"126","relation_version_is_last":true,"title":["Policy Controlled System and Its Model Checking"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-05-15T13:44:03.012748+00:00"}