2026-03-10T18:37:58Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00035219 2025-01-22T14:47:53Z 1164:2836:2894:2899

分散システムにおける情報流制御 Information Flow Control in Distributed Systems 安田, 昌史 立川, 敬行 滝沢, 誠 Masashi, Yasuda Takayuki, Tachikawa Makoto, Takizawa 分散応用は、複数のオブジェクトからなるグループが通信網を通じてメッセージの交換を行うことで実現される。オブジェクトはデータ構造と抽象型操作演算の対により表現され、オブジェクトにより提供される操作演算を通してのみ操作することができる。また、操作演算はさらに他のオブジェクトが提供する操作演算を呼び出すことがある。これを入れ子型演算という。複数のオブジェクトが協調動作する環境下では、オブジェクト間における不正な情報流を防止することが重要である。本論文では、目的指向のアクセス制御モデルにおける正しいアクセス規則の定義と不正な情報流の解析方法について論じる。 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. 情報処理学会 1998-01-29 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/35219 AN10116224 情報処理学会研究報告マルチメディア通信と分散処理（DPS） 1998 8(1997-DPS-086) 49 54 https://ipsj.ixsq.nii.ac.jp/record/35219/files/IPSJ-DPS97086009.pdf application/pdf 616.3 kB 2000-01-29