| 講演名 | 2005-06-24 システムの内部状態を導入した信用管理モデル 毛利 寿志, 高田 喜朗, 関 浩之, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年, 公開鍵暗号基盤(Public-Key Infrastructure)に基づくシステム管理運用技術として, 信用管理(Trust Management)技術が提案され, 注目されている.しかし, 従来の信用管理モデルでは, 信用確立の結果, システム自身の内部状態が変化するような状況を陽に表現することができなかった.本論文では, システムの内部状態を導入した信用管理モデルを提案する.提案モデルにおけるシステムの挙動を形式的に定義するため, ポリシー記述言語を導入する.さらに, ポリシーが与えられた仕様通りに作用するかどうかを判定する問題を検証問題として定義し, その検証方法を提案する.最後に, 提案手法を用いた検証結果についても述べる. |
| 抄録(英) | Recently, trust management, which is a system management technique based on Public-Key Infrastructure (PKI), is proposed and is extensively investigated. However, there is no trust management model which can explicitly represent a system whose internal state changes as a result of the trust establishment. In this paper, a trust management model which can represent a system with internal states is proposed. We propose a policy specification language to define the behavior of the system. The verification problem is defined as the problem to decide whether the behavior of a system with a given policy satisfies a given verification property, and a verification method for the problem is also proposed. Finally, a verification result based on the proposed method is reported. |
| キーワード(和) | 信用管理 / アクセス制御 / 形式モデル / 状態遷移モデル |
| キーワード(英) | Trust management / Access control / Formal model / State transition model / PKI |
| 資料番号 | SS2005-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2005/6/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | システムの内部状態を導入した信用管理モデル |
| サブタイトル（和） | |
| タイトル（英） | A Formal Model for Stateful Trust Management Systems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 信用管理 / Trust management |
| キーワード(2)（和/英） | アクセス制御 / Access control |
| キーワード(3)（和/英） | 形式モデル / Formal model |
| キーワード(4)（和/英） | 状態遷移モデル / State transition model |
| 第 1 著者 氏名（和/英） | 毛利 寿志 / Hisashi MOURI |
| 第 1 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
| 第 2 著者 氏名（和/英） | 高田 喜朗 / Yoshiaki TAKATA |
| 第 2 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
| 第 3 著者 氏名（和/英） | 関 浩之 / Hiroyuki SEKI |
| 第 3 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
| 発表年月日 | 2005-06-24 |
| 資料番号 | SS2005-20 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 129 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |