Loading article…
SecPALは、大規模な分散コンピューティング環境の複雑なアクセス制御要件をサポートするために開発された、宣言型でロジックベースのセキュリティポリシー言語です。 [1] [2] [3] [4]
共通アクセス制御要件
SecPAL が取り組む課題の一部を以下に示します。
- 組織はどのようにして組織の境界を越えて別の組織ときめ細かい信頼関係を確立するのでしょうか?
- ユーザーは、自分の権限のサブセット (制約付き委任) を、同じ組織内または別の組織内の別のユーザーにどのように委任するのでしょうか?
- アクセス制御ポリシーを、人間が判読できる形式で作成およびレビューし、監査人や技術者以外の人が理解できるようにするにはどうすればよいでしょうか。
- 組織は、ユーザーがリソースへのアクセスを許可された理由をシステムが正確に証明できることを要求するコンプライアンス規制をどのようにサポートしますか?
- どうすれば、効率的、決定論的、かつ扱いやすい方法でポリシーを作成、構成、評価できるでしょうか?
建築
SecPAL Researchのホームページには、SecPALのアーキテクチャをさまざまな抽象レベルで説明した次の論文へのリンクが含まれています。[5]
- SecPAL 形式モデル(「分散認証言語の設計とセマンティクス」) - 効率的な時間で決定論的な評価をサポートする抽象型、言語セマンティクス、および評価ルールの正式な説明。
- SecPAL スキーマ仕様– 分散アプリケーションのアクセス制御要件をサポートすることを目的とした形式モデルの実用的な XML ベースの実装を記述した仕様
- SecPAL の .NET 研究実装- C# 実装、一般的な認証パターンの C# サンプル、包括的な開発者向けドキュメントと入門チュートリアル
追加調査
- IEEE Grid 2007 - SecPALを使用したきめ細かなアクセス制御[6]
- プライバシーのためのSecPAL [7] [8]
参考文献
- ^ 「SecPAL - Microsoft Research」。research.microsoft.com。2016年4月28日時点のオリジナルよりアーカイブ。 2022年1月12日閲覧。
- ^ 「Microsoft がグリッド向けセキュリティ言語を構築」 2006 年 9 月 13 日。
- ^ 「Microsoft がグリッド コンピューティング研究とのコラボレーションを募集」2007 年 4 月 30 日。
- ^ 「グリッド コンピューティング環境におけるアクセス制御」。2007 年 5 月 7 日。
- ^ 「Microsoft – クラウド、コンピューター、アプリ、ゲーム」。2009年11月6日時点のオリジナルよりアーカイブ。
- ^ Marty Humphrey 他 (2007)。「SecPAL を使用した GridFTP のきめ細かなアクセス制御」(会議論文)。2007第 8 回 IEEE/ACM 国際グリッド コンピューティング会議。国際グリッド コンピューティング ワークショップ: IEEE Xplore。pp. 217–225。doi : 10.1109/ GRID.2007.4354136。ISBN 978-1-4244-1559-5. S2CID 14763595。
- ^ MY Becker; et al. (2010). 「実用的な汎用プライバシー言語」。S. Jha、A. Mathuria (編)。情報システムセキュリティ。ICISS 2010。コンピュータサイエンスの講義ノート。コンピュータサイエンスの講義ノート。Vol. 6503。ベルリン、ハイデルベルク: Springer。pp. 125–139。doi :10.1007 / 978-3-642-17714-9_10。ISBN 978-3-642-17714-9. S2CID 17197217。
- ^ Mo Becker、Alexander Malkis、Laurent Bussard (2010 年 4 月)。「S4P: プライバシー設定とポリシーを指定するための汎用言語」。Microsoft。2023年2 月 14 日閲覧。