文献

J-GLOBAL ID：202102278029182758   整理番号：21A0082277

ソフトセキュリティシステムのロバスト性検証【JST・京大機械翻訳】

Robustness verification of soft security systems

著者 (1件)： Bidgoly Amir Jalaly (Department of Information Technology and Computer Engineering, University of Qom, Iran)
資料名： Journal of Information Security and Applications  (Journal of Information Security and Applications)
巻： 55  ページ： Null  発行年： 2020年 
JST資料番号： W2985A  ISSN： 2214-2126  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

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

シソーラス用語： 測度 ,  臨界 ,  事例研究 ,  暗号 ,  *ロバスト性 ,  アクセス制御 ,  *セキュリティシステム ,  *セキュリティ
準シソーラス用語： 評価技術 ,  システムセキュリティ , 【Automatic Indexing@JST】

著者キーワード (4件)： ソフトセキュリティ ,  攻撃 ,  検証 ,  ロバスト性

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (4件)： ソフト ,  セキュリティシステム ,  ロバスト性 ,  検証