文献

J-GLOBAL ID：202002223676209225   整理番号：20A1611214

Atomos:定サイズ経路検証証明【JST・京大機械翻訳】

Atomos: Constant-Size Path Validation Proof

著者 (6件)： He Anxiao (College of Computer Science and Technology, School of Cyber Science and Technology, Zhejiang University, Hangzhou, China) ,  Bu Kai (College of Computer Science and Technology, School of Cyber Science and Technology, Zhejiang University, Hangzhou, China) ,  Li Yucong (College of Computer Science and Technology, School of Cyber Science and Technology, Zhejiang University, Hangzhou, China) ,  Chida Eikoh (Department of Engineering for Future Innovation, Ichinoseki College, National Institute of Technology, Ichinoseki, Japan) ,  Gu Qianping (School of Computer Science, Simon Fraser University, Burnaby, Canada) ,  Ren Kui (College of Computer Science and Technology, School of Cyber Science and Technology, Zhejiang University, Hangzhou, China)
資料名： IEEE Transactions on Information Forensics and Security  (IEEE Transactions on Information Forensics and Security)
巻： 15  ページ： 3832-3847  発行年： 2020年 
JST資料番号： W1570A  ISSN： 1556-6013  CODEN： ITIFA6  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 経路検証は将来のインターネットの不可欠なセキュリティ特徴として探索されてきた。インターネット工学タスクフォース(IETF)とインターネット研究タスクフォース(IRTF)の下で経路-アウェアネットワーク研究グループ(PANRG)によって動機づけられて,それはパケット転送に関してエンドホストより多くの制御を与えて,フォワーディング履歴が検証可能であることを確実にする。主なアイデアは,ルータが他のルータのパケットヘッダに証明を追加して検証することである。既存の経路検証解の本質的効率障壁として線形スケール証明を同定した。本論文では,一定サイズの証明を持つネットワーク経路を検証するために,アトモスを提案した。この目的のために,非可換同形非対称鍵暗号方式を構築した。非対称暗号は,必要な証明の数を最小化し,処理証明の時間を節約する。同形写像は,一定サイズの証明を与える。それは,経路長が通常小さい値を超えるとき,ヘッダ空間オーバヘッドを制限して,既存の線形スケール対応物を凌駕する。さらに,提案暗号化方式は,転送経路からの任意の偏差を検出することができるように,非可換である。セキュリティと効率のための一連の設計戦略を探求した。評価結果は,アトモスが既存の解決策よりも短い証明だけでなくより速い検証ももたらすことを示した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ネットワーク ,  非対称性 ,  同形写像 ,  線形性 ,  暗号 ,  セキュリティ ,  *インターネット ,  秘密鍵暗号
準シソーラス用語： IETF ,  パケット伝送 ,  オーバヘッド ,  タスクフォース ,  フォワーディング ,  パケットヘッダ , 【Automatic Indexing@JST】

分類 (2件)： 符号理論  (ND02030R) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： サイズ ,  経路 ,  検証 ,  証明