文献

J-GLOBAL ID：201802274805129436   整理番号：18A0408063

分散システム(PPDS)プロトコルにおけるプライバシーの保存:セキュリティ解析【Powered by NICT】

Preserving privacy in distributed system (PPDS) protocol: Security analysis

著者 (5件)： Aloui Ashref (LAGA, University of Paris VIII) ,  Msahli Mounira (IPAL UMI CNRS, LTCI, Telecom ParisTech, University of Paris-Saclay) ,  Abdessalem Talel (IPAL UMI CNRS, LTCI, Telecom ParisTech, University of Paris-Saclay) ,  Bressan Stephane (School of Computing, National University of Singapore) ,  Mesnager Sihem (LAGA, University of Paris VIII)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IPCCC  ページ： 1-7  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 既存ビッグデータとデータ処理解の多様性の中で,プライバシーとセキュリティの要件を満たす真の必要性になっている。本論文では,分散システム(PPDS)におけるデータ処理の新しいプロトコルのセキュリティ解析に取り組んでいる。このプロトコルは三相:認証,ノードヘッド選択とデータ結合から構成されている。AVISPAを介したHLPSL言語を用いてその形式的検証を検討した。もそのセキュリティ解析を行った。概念の証明に基づくいくつかの性能解析も本論文で提示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 認証 ,  データ処理 ,  *安全解析 ,  *プロトコル ,  *セキュリティ ,  言語 ,  *プライバシー ,  性能分析
準シソーラス用語： 形式的検証 ,  ビッグデータ ,  *分散システム , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (5件)： 分散システム ,  プロトコル ,  プライバシー ,  保存 ,  セキュリティ解析