抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
認証と認証のプロセスが複雑になるにつれて,証拠のより複雑な構造が認証および/または認証のために必要とされることは自然である。さらに,評価プロセスは,追加的証拠収集のアドバイスによるサスペンションのような別のプロセスを生成する可能性がある。本論文では,認証に対する証拠としてドキュメントを用い,評価プロセスにおいてBelnap論理を用いることを提案した。Belnap論理は,評価論理を強化するために研究された多値論理システムである。認証におけるBelnap論理を用いることにより,認証政策に対する証拠(文書)の評価は,真と偽に加えて価値T(対立)または⊥(証拠の欠如)を生み出す可能性があり,証拠完成の付加的プロセスをもたらす。この増大により,証拠完成のためのアドバイスによるより柔軟で連続的な認証が可能になった。著者らは,Belnap論理における与えられた政策に対するドキュメントの評価が,単純な故障からの対話的で連続的な改善の可能性を区別することを証明した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
