文献

J-GLOBAL ID：201802211717705789   整理番号：18A1774401

形式的方法によるAndroid実行コンテナの保証【JST・京大機械翻訳】

Ensuring Android Execution Containers with Formal Methods

著者 (2件)： Froberg Brandon (Air Force Institute of Technology) ,  Merkle Laurence D. (Air Force Institute of Technology)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： RAMS  ページ： 1-4  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバーセキュリティは21世紀には失われていると思われる。このように,防御の現在の方法は,脅威に対して検出されて,応答する。それは,事後防御(すなわち,実際の防御の後)である。対照的に,本研究は,より信頼できる防御がデフォルトによって予防的であるという代替的見解を調査した。特に,セキュリティが信頼性の部分集合であるという見解をとると,保証された方法の開発と応用を動機づける。特に,信頼できないソフトウェアまたは悪意のあるソフトウェアの安全な実行は,形式的に規定されたソフトウェア容器の設計と実装を通して保証できる。すべてのオペレーティングシステムを横切るデバイスは,自動化されたサイバー攻撃の一定の脅威の下にある。すべての時間の最も一般的なオペレーティングシステムであるAndroidはサイバー攻撃から遮蔽されていない。これらの脅威を止めるために,信頼できる実行を通してデバイスのセキュリティを保証する新しい手段が必要である。保証されたAndroid実行環境(A2E2)は,Androidデバイス上の信頼性とセキュリティを保証するために形式的に検証される提案されたフレームワークである。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： オペレーティングシステム ,  安全性 ,  自動化 ,  *コンテナ ,  信頼性 ,  ソフトウェア ,  部分集合 ,  セキュリティ
準シソーラス用語： 防衛 ,  実行環境 ,  サイバーセキュリティ ,  *アンドロイド , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： 形式的方法 ,  Android ,  コンテナ ,  保証