異種分散システムのためのタプル空間の安全化

リンダは、エージェントが互いのアイデンティティを知らずに、確定的な集会を設定することなく共有タプル空間を介して通信できる高レベルの通信モデルです。この高い抽象度は、リンダが異種分散システムの調整モデルとして特に適していることを示唆しますが、リンダ通信が安全でないという事実がそれを妨げています。タプル空間の安全性を向上させるために、本論文ではエージェントのタプル空間へのアクセスを規制するセキュリティポリシーを確立するメカニズムを導入します。私たちのメカニズムは、以前に発表された法に基づく相互作用の概念に基づいています。このメカニズムは、私たちが法と呼ぶポリシーの正式なステートメントと、この法律を執行する、ポリシーに依存しない信頼されたコントローラーのセットとの間に厳密な区分を設けます。この仕組みの下での新しいポリシーは、基本的にその法を定式化することによって作成され、分散システム全体に簡単に展開できます。二つの...。