文献

J-GLOBAL ID：202002241311408546   整理番号：20A1004116

信頼および評判システムにおけるロバスト性特性のモデル検査【JST・京大機械翻訳】

Model checking of robustness properties in trust and reputation systems

著者 (2件)： Ghasempouri Seyed Asgary (Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran) ,  Tork Ladani Behrouz (Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Isfahan, Iran)
資料名： Future Generation Computer Systems  (Future Generation Computer Systems)
巻： 108  ページ： 302-319  発行年： 2020年 
JST資料番号： A0620C  ISSN： 0167-739X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 信頼と評判システム(TRSs)は,エージェントがサービスを要求するか実行するための決定を必要とする協調環境で使用される。しかし,TRSsは,最も不明確な行動(攻撃)のシーケンスを持つ悪意のあるエージェントによって乱用できる。攻撃に対するTRSsの検証に関する提案があるが,それらは種々の信頼性特性を評価するのに十分ではなく,種々の要求されるロバスト性特性を指定するための十分な表現力を提供しない。本論文では,モデル検査アプローチを通して,TRSsにおける様々なロバスト性特性を特定し検証するための包括的フレームワークを導入した。提案したフレームワークは3つの主要部分を含んでいる。(1)確率的行動と報酬ベースの計算木論理(PARCTL)と名付けたTRSsのロバスト性特性の仕様のための論理,(2)著者らの以前に提案したモデルの強化版は,信頼性のある環境におけるTRSsを指定したモデルにより,PARCTL特性の定量的および確率的モデル検査のための必要なアルゴリズムである。提案したフレームワークをTRIM-Checkerと名付けたツールとして実装した。TRIM-Checkerを用いた有名なeBay,Beta,CORE TCMsのロバスト性解析に関する実験結果を示し,攻撃に対するロバスト性を評価し,比較した。Copyright 2020 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  信頼性 ,  確率モデル ,  *ロバスト性 ,  エージェント ,  *モデル検査
準シソーラス用語： 表現力 ,  *評判システム ,  ロバスト性解析 , 【Automatic Indexing@JST】

著者キーワード (6件)： モデル検査 ,  評判 ,  信頼 ,  ロバスト性 ,  検証 ,  トリムチェッカー

分類 (2件)： 計算機網  (JC03000K) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 信頼 ,  評判システム ,  ロバスト ,  性特性 ,  モデル検査