政策強化者の検証【JST・京大機械翻訳】

Riganelli Oliviero; Micucci Daniela; Mariani Leonardo; Falcone Ylies

プレプリント

J-GLOBAL ID：202202216559933616 整理番号：22P0041479

政策強化者の検証【JST・京大機械翻訳】

Verifying Policy Enforcers

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2017年07月24日プレプリントサーバーでの情報更新日： 2017年07月26日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

政策立案者は,ソフトウェアの正しい行動を強制することによって故障を防ぐことができる洗練されたランタイムコンポーネントである。監視する必要のあるアプリケーションの挙動のみに焦点を絞って,単一強制器は容易に設計できるが,異なる政策を強制する多重強制者の影響は予測が困難である。今まで,強制者間の干渉を解決する機構は,優先機構と発見的方法に基づいている。これらの方法は,複数の強制者が実行に同時に影響するとき,決定を行う機構を提供するが,システムの大域的挙動に対する干渉の欠如を保証しない。本論文では,実行者集合間の干渉を発見するために活用できる検証戦略を提示し,実行時間で共存できる強制者を安全に同定する。著者らの評価において,著者らはAndroidのためのいくつかの政策強化者による著者らの検証方法について実験して,いくつかの不和合性を発見した。【JST・京大機械翻訳】

, , , , , , , , ,
, , , , 【Automatic Indexing@JST】

環境問題 , 符号理論

, ,

前のページに戻る