Proof-Carrying Codeを用いたネットワーク機器の不正な通信に関する安全性保証

• Item type: Symposium(1)
• 公開日: 2022-10-17
• タイトル: Proof-Carrying Codeを用いたネットワーク機器の不正な通信に関する安全性保証
• タイトル / 言語: en
• タイトル: Security Assurance Against Unauthorized Communication of Network Devices Using Proof-Carrying Code
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式検証，Trust，安全性保証，バックドア検知
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 電気通信大学大学院情報理工学研究科
• 著者所属: NTT社会情報研究所
• 著者所属: NTT社会情報研究所
• 著者所属(英): en
• 著者所属(英): Department of Informatics, Graduate School of Informatics and Engineering, The University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者名: 松田, 蓮; 中林, 美郷; 奥田, 哲矢
• 著者名(英): Ren, Matsuda; Misato, Nakabayashi; Tetsuya, Okuda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，技術や仕組みに Trusted と呼ばれる透明性や検証可能性が求められている．その代表的な例としてオープンソースソフトウェア（OSS）があり，OSS はソフトウェアの世界にソースコードの公開による透明性と検証可能性を提供している．通信ネットワーク機器の分野でも同様の潮流が存在し，オープンソースやホワイトボックスなどの透明性や検証可能性に資する仕組みが普及しつつある．本研究では，Proof-Carrying Code（PCC）というソースコードとその証明を同時に流通させる技術を用いて，通信事業者が通信機器のソフトウェアを検証できる仕組みを構築することを目指す．本論文ではそのファーストステップとして，ソフトウェアに想定外の通信機能が存在しないことを検証する PCC の枠組みの設計とそのプロトタイプ実装，評価を行った．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In recent years, transparency and verifiability, called ``trusted", are required for technologies and systems. A typical example is open source software (OSS), which provides transparency and verifiability to the software world by releasing source code. A similar trend exists in network communications devices, and mechanisms that contribute to transparency and verifiability, such as open source and white box, are becoming popular. This research aims to establish a mechanism that enables telecommunication carriers to verify software for network devices using Proof-Carrying Code (PCC), a technology that simultaneously provides source code and its mathematical proof. As a first step, in this paper, we design a PCC framework for verifying the absence of unexpected communication functions in software, implement a prototype, and evaluate the results.
• 書誌情報: コンピュータセキュリティシンポジウム2022論文集; p. 635-642, 発行日 2022-10-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会