分散システムにおける情報流制御

• Item type: SIG Technical Reports(1)
• 公開日: 1998-01-29
• タイトル: 分散システムにおける情報流制御
• タイトル / 言語: en
• タイトル: Information Flow Control in Distributed Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京電機大学理工学部経営工学科
• 著者所属: 東京電機大学理工学部経営工学科
• 著者所属: 東京電機大学理工学部経営工学科
• 著者所属(英): en
• 著者所属(英): Tokyo Denki University
• 著者所属(英): en
• 著者所属(英): Tokyo Denki University
• 著者所属(英): en
• 著者所属(英): Tokyo Denki University
• 著者名: 安田, 昌史; 立川, 敬行; 滝沢, 誠
• 著者名(英): Masashi, Yasuda; Takayuki, Tachikawa; Makoto, Takizawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分散応用は、複数のオブジェクトからなるグループが通信網を通じてメッセージの交換を行うことで実現される。オブジェクトはデータ構造と抽象型操作演算の対により表現され、オブジェクトにより提供される操作演算を通してのみ操作することができる。また、操作演算はさらに他のオブジェクトが提供する操作演算を呼び出すことがある。これを入れ子型演算という。複数のオブジェクトが協調動作する環境下では、オブジェクト間における不正な情報流を防止することが重要である。本論文では、目的指向のアクセス制御モデルにおける正しいアクセス規則の定義と不正な情報流の解析方法について論じる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Distributed applications are realized by cooperation of multiple objects. Each object is manipulated through an operation supported by the object and then the operation may further invoke operations of other objects, i.e. nested operations. Purpose-oriented access rules indicate what operation in each object can invoke operations of other objects. Information flow among the objects occurs if the requests and responses of the operations carry data. Only the purpose-oriented access rules which imply legal information flow are allowed. In this paper, we discuss how to specify the access rules so that the information flow occurring in the nested invocation of the operations is legal.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10116224
• 書誌情報: 情報処理学会研究報告マルチメディア通信と分散処理（DPS）; 巻 1998, 号 8(1997-DPS-086), p. 49-54, 発行日 1998-01-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会