抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ソフトセキュリティは,暗号化やアクセス制御(ハードセキュリティとして知られる)のような従来のものとは異なり,システムを確保するためにソーシャルベースの制御を使用する,セキュリティ方式の新世代である。他のセキュリティ法のように,ソフトセキュリティ法を評価し,それらが使用する前に攻撃に対して検証する必要がある。しかし,これらの方法の魅力と応用の増加にもかかわらず,それらの評価と評価技術は,まだ研究の初期段階にある。ソフトセキュリティ法における攻撃の概念は,規則を破ることではなく,システムを貫通し,最後に,システム開始を最終的に導いて,そのセキュリティ機構を迂回する,低臨界および誤解挙動に従うことによって,実行される。現在,ソフトセキュリティのロバスト性評価のための最も重要な方法は,システムセキュリティの証明を提供できないシミュレーションである。ソフトセキュリティシステムのための検証方法を提案する研究作業は限られている。本論文では,ソフトセキュリティシステムのロバスト性検証の課題を検討し,これらのシステムの定量的検証のための形式的方法を提案した。また,提案方法は,システムに対する最悪の可能な攻撃に基づくロバスト性測度を導入する。さらに,それはシステムに対して新しい攻撃を見つけることができる。提案手法の応用を,いくつかの信頼システム事例研究を用いて表現した。Copyright 2021 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】