抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
筆者らは,アクセス制御ポリシーを表現するために用いることができる認証コアポリシー言語(ACCPL)の設計と実装を提示した。著者らは,ACCPLに対する形式的意味論を定義し,この意味論についての状態定理に対するCoq教授を用いて,これらの定理に対する証明を開発し,正当性保証を保証する証明を機械的にチェックすることを提供した。ACCPLの主な設計目標は,安全性のような特定の質問に関してACCPLで書かれた政策についての理由の可能性である。さらに,ACCPLと確立された証明を統合し,表現力への拡張を,追加の表現性の方向における識別可能な証明書を拡張することにより探索した。この目的のために,ACCPLは,多くのアクセス制御ポリシー言語のコア特徴をサポートすると信じられているが,ACCPLは小さく(ACCPLの構文と意味論は記述に対してほんの少しのページを取るだけである)である。しかし,著者らはACCPLは多くのアクセス制御ポリシー言語のコア特徴をサポートしていると信じている。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
