• 検索結果がありません。

2 提案方式

N/A
N/A
Protected

Academic year: 2021

シェア "2 提案方式"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

令和元年度 学士学位論文梗概 高知工科大学 情報学群

IoT 環境における SAS-L の適用に関する研究

1200284 池 内 聖 【 セキュリティシステム研究室 】

1 はじめに

現在,IoT環境においてパフォーマンス上の観点から UDPが多用されている[1].UDPを用いて安全な通信 を実現する方式としてDTLS over UDPが挙げられる.

DTLSはTLSと同様のセキュリティを確保する目的で 設計されている.この方式では,認証及び鍵共有に計算 量が大きい公開鍵暗号方式を利用しているため,処理時 間が増加する.そのため,IoTデバイスの中でもCPU やメモリのリソースに制限のある小型デバイスでは処理 負荷による影響が大きく,処理時間が増加するという問

題がある[2].そこで本稿では,小型デバイスに適した

方式としてSAS over UDP with ARQを提案する.ま た,クライアント環境における各方式の処理時間を比較 し,有用性について検証する.

2 提案方式

2.1 SAS-L

SAS-Lは,ワンタイムパスワード認証方式であり,認

証情報が認証の度に変わるため反射攻撃や中間者攻撃 などによるなりすましに対して高い耐性を持っている.

また,一方向性関数の適用回数をサーバ側で0回,ク ライアント側で1回にすることで,低負荷な処理を実 現している.よって,鍵配送と相互認証を同時に実現し た方式であるため,IoT環境に適した認証方式である.

SAS-Lは,登録フェーズと認証フェーズに分かれて構

成されている.

2.1.1 登録フェーズ

登録フェーズでは,クライアント側で生成した初回認 証情報A1を安全な手段でサーバと共有する.

2.1.2 認証フェーズ

認証フェーズでは,認証情報を用いてクライアントと サーバ間で相互認証及び共通鍵の共有を行い,認証情報 の更新を行う.

2.2 ARQ

ARQは,信頼性の高い通信を実現させるための誤り 制御手法である.本研究では,信頼性が担保されてい ないUDP上における通信を想定しているためARQプ ロトコルの中でも最も単純な手法であるStop-and-wait ARQを用いる.この方法により再送処理を行うことが でき,信頼性の高い通信を実現できる.

2.3 SAS over UDP with ARQの流れ

SAS over UDP with ARQにおけるセッションの確 立を図1に示す.

1 SAS over UDP with ARQにおけるセッ ションの確立

3 実験環境及び実験結果

実験環境としてクライアント側には低リソースなIoT デバイスを想定して,超小型かつ安価なARMコンピュー タであるRaspberry Pi Zero WH,サーバ側には汎用 PCを使用する.DTLSの暗号スイートは,DTLS v1.2 ECDHE-ECDSA-AES128-CCM-8を使用する.

本実験では,クライアント環境における各方式の認証 及び鍵共有までの処理を10回行い,表1に平均処理時 間及び倍率を示す.実験結果として,提案方式の平均処 理時間は既存方式と比較して約215分の1となった.

1 各方式における平均処理時間と倍率 方式 平均処理時間[ms] 倍率

提案方式(SAS) 0.6679 1

既存方式(DTLS) 143.8962 215

4 まとめ

本稿では,小型デバイスにおける安全で軽量な通信方 式としてSAS over UDP with ARQを提案した.提案 方式は既存方式よりもクライアント側の処理負荷が小さ いため,小型デバイスへの有用性を示すことができた.

今後の展望として,実際のIoT環境での実験が課題と して挙げられる.

参考文献

[1] AnnaGerber,“モ ノ の イ ン タ ー ネッ ト の 中 で す べ て の モ ノ を 接 続 す る”,

https://www.ibm.com/developerworks/jp/iot/

library/iot-lp101-connectivity-network- protocols/index.html,2020年2月1日閲覧.

[2] U. Banerjee,et al.,“An Energy-Efficient Recon- figurable DTLS Cryptographic Engine for End- to-End Security in IoT Applications”,IEEE In- ternational Solid - State Circuits Conf. (ISSCC), feb 2018,pp.42–44,2018.

図 1 SAS over UDP with ARQ におけるセッ ションの確立 3 実験環境及び実験結果 実験環境としてクライアント側には低リソースな IoT デバイスを想定して,超小型かつ安価な ARM コンピュー タである Raspberry Pi Zero WH,サーバ側には汎用 PC を使用する.DTLS の暗号スイートは,DTLS v1.2 ECDHE-ECDSA-AES128-CCM-8 を使用する. 本実験では,クライアント環境における各方式の認証 及び鍵共有までの処理を 10 回行い,表 1

参照

関連したドキュメント

In this report , control methods for this autonomous vehicle are investigated to approach the initial operating position rapidly, to break away at the end of the covering machine,

Altun, “Fixed point theorems for generalized weakly contractive condition in ordered metric spaces,” Fixed Point Theory and Applications, vol. Altun, “A common fixed point theorem

Projection of Differential Algebras and Elimination As was indicated in 5.23, Proposition 5.22 ensures that if we know how to resolve simple basic objects, then a sequence of

Figure 12 shows that specific loss R 1 decrease sharply for small values of ω but decrease with small variation as increases further for LS and GL theories of microstretch

It provides a tool to prove tightness and conver- gence of some random elements in L 2 (0, 1), which is particularly well adapted to the treatment of the Donsker functions. This

The important dynamical difference between the transient AIDS state in the acute infection stage and the chronic AIDS state that signals the end of the incubation period is the value

Easy to see that in this case the direction of B should be purely rational such that the orthogonal plane (B) contains two different reciprocal lattice vectors. It is evident also

Development of an Ethical Dilemma Scale in Nursing Practice for End-of-Life Cancer Patients and an Examination of its Reliability and Validity.. 江 口   瞳 Hitomi