| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-10-07 17:55 電波の指向性を認証要素としたプロトコルの記号的検証手法の研究構想 ○青木 壮（千歳科技大）・砂原 悟（北大）・高野泰洋（千歳科技大）・白石善明（神戸大）・Hsuan-Jung Su（NTU）・萩原茂樹（千歳科技大）  NS2026-90 |
|
| 抄録 | （和） | 近年、IoT機器などの計算リソースが少ない計算機が普及しており、このような機器では計算リソースを要する公開鍵暗号の利用には限界がある。そこで、暗号技術への依存を軽減する手段として、物理層の要素を認証に利用する手法が注目されている。そのひとつに物理層の要素として、電波の指向性を用いて特定の相手から来た通信を正しく認証する手法がある。正しく認証されることを検証するためには、各参加者の位置や送受信する信号、ノイズなどを取り扱う具体的なモデルにおいて、正当な送信者からの信号として受信者が期待する受信信号を攻撃者が作り出せないことを示す。このとき、パラメータの値を設定しシミュレーションが用いられる。このとき次の二つの問題がある。第一の問題はすべてのパラメータの値で検証することが困難である。第二の問題は使用するモデルが具体的であるため、簡潔な検証は困難である。一般に、セキュリティプロトコルの検証では、より抽象的な記号モデルが用いられる。記号モデルでは、パラメータの値に依存せず、安全性に至る因果関係が明確で、簡潔な検証が可能となる。本研究では、電波の指向性を認証要素とするプロトコルを対象に、記号モデルとその上での検証手法を構成することを目的とする。具体的には、まず対象とするプロトコルを定める。そして、具体モデルで正しく認証されるという性質がどう保証されているかを捉え、それに従い具体モデルを抽象化し記号モデルを得る。最後に、記号モデル上で正しく認証されることを検証する手法を構成することを目指す。 |
| （英） | In recent years, computationally constrained devices, such as IoT devices, have become widespread. On such devices, the use of public-key cryptography, which requires substantial computational resources, is limited. As a means of reducing reliance on cryptographic techniques, methods that use physical-layer properties for authentication have attracted attention. One such method uses radio-wave directivity to authenticate whether communication originates from a specific sender. To verify correct authentication, it is necessary to show, in a concrete model considering the positions of the participants, transmitted and received signals, noise, and other factors, that an attacker cannot generate a received signal that the receiver would accept as being from an honest sender. In this case, simulations are conducted with specific parameter values. However, there are two problems. First, it is difficult to verify correct authentication for all possible parameter values. Second, the concrete nature of the model makes simple verification difficult. In general, security protocols are verified using more abstract symbolic models. Such models enable verification independent of parameter values and make the causal relationships leading to security explicit, allowing simple verification. This research aims to construct a symbolic model and a verification method for a protocol that uses radio-wave directivity as an authentication factor. |
|
| キーワード | （和） | 物理層セキュリティ / 到来角ベース認証 / プロトコル検証 / 形式手法 / / / / |
| （英） | Physical Layer Security(PLS) / AoA-based authentication / Protocol Verification / Formal Methods / / / / | |
| 文献情報 | 信学技報, vol. 126, no. 183, NS2026-90, pp. 22-22, 2026年10月. | |
| 資料番号 | NS2026-90 | |
| 発行日 | 2026-09-30 (NS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | NS2026-90 |
|
| 研究会情報 | |
| 研究会 | NS |
| 開催期間 | 2026-10-07 - 2026-10-09 |
| 開催地（和） | 北海道大学 + オンライン開催 |
| 開催地（英） | Hokkaido University + Online |
| テーマ（和） | ネットワークアーキテクチャ(オーバレイ、P2P、ユビキタスNW、スケールフリーNW、アクティブNW、NGN・新世代NW、IoT、エッジコンピューティング)、次世代パケットトランスポート(高速Ethernet、IP over WDM、マルチサービスパケット技術、MPLS)、グリッド、一般 |
| テーマ（英） | Network architecture (5G, Local 5G, Beyond5G, Mobile networks, Ad-hoc and sensor networks, Overlay and P2P networks, Programmable networks, SDN/NFV, IoT, Network slicing), Next generation packet transport (High speed Ethernet, IP over WDM, Multi-service package technology, MPLS), Grid, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | NS |
| 会議コード | 2026-10-NS |
| 本文の言語 | 日本語 |
| タイトル（和） | 電波の指向性を認証要素としたプロトコルの記号的検証手法の研究構想 |
| サブタイトル（和） | |
| タイトル（英） | Toward Formal Modeling of Protocols Using Radio Directionality as an Authentication Factor |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 物理層セキュリティ / Physical Layer Security(PLS) |
| キーワード(2)（和/英） | 到来角ベース認証 / AoA-based authentication |
| キーワード(3)（和/英） | プロトコル検証 / Protocol Verification |
| キーワード(4)（和/英） | 形式手法 / Formal Methods |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 青木 壮 / So Aoki / アオキ ソウ |
| 第1著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第2著者 氏名（和/英/ヨミ） | 砂原 悟 / Satoru Sunahara / スナハラ サトル |
| 第2著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： HU) |
| 第3著者 氏名（和/英/ヨミ） | 高野 泰洋 / Yasuhiro Takano / タカノ ヤスヒロ |
| 第3著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第4著者 氏名（和/英/ヨミ） | 白石 善明 / Yoshiaki Shiraishi / シライシ ヨシアキ |
| 第4著者 所属（和/英） | 神戸大学 (略称： 神戸大) Kobe University (略称： Kobe U) |
| 第5著者 氏名（和/英/ヨミ） | Hsuan-Jung Su / Hsuan-Jung Su / |
| 第5著者 所属（和/英） | National Taiwan University (略称： NTU) National Taiwan University (略称： NTU) |
| 第6著者 氏名（和/英/ヨミ） | 萩原 茂樹 / Shigeki Hagihara / ハギハラ シゲキ |
| 第6著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-10-07 17:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | NS |
| 資料番号 | NS2026-90 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.183 |
| ページ範囲 | p.22 |
| ページ数 | 1 |
| 発行日 | 2026-09-30 (NS) |
[研究会発表申込システムのトップページに戻る] (日本語ページの行間係数: 1)