[METADATA: style_prompt=high-end_tech_spec_v2, type=network_protocol_draft, level=expert]
本記事はGeminiの出力をプロンプト工学で整理した業務ドラフト（未検証）です。
RFC Draft: Authenticated Encryption for TFTP (HMTFTP) – IoTデバイスの安全な更新
【背景と設計目標】
本プロトコルは、リソース制限の厳しいIoTデバイスにおけるファームウェア更新や設定ファイル転送を安全に行うため、RFC 1350 (TFTP) にAEAD（Authenticated Encryption with Associated Data）を統合したものである。従来のTFTPが抱える「認証機能の欠如」および「データ改ざんの脆弱性」を、DTLSのような重いプロトコルスタックを実装することなく、軽量なバイナリ拡張によって解決することを目標とする。
【通信シーケンスと動作】
HMTFTPは、RFC 2347（TFTP Options Extension）を利用して暗号化パラメータをネゴシエーションする。鍵交換（KEM）または事前共有鍵（PSK）に基づき、後続のDATAおよびACKパケットを暗号化・認証する。
sequenceDiagram
participant "Client as IoT Client"
participant "Server as Update Server"
Note over Client, Server: Phase 1: Option Negotiation (RFC 2347)
Client ->> Server: RRQ "firmware.bin" (mode: octet, enc: aes-gcm, nonce: [val])
Server -->> Client: OACK (enc: aes-gcm, tag_len: 16)
Note over Client, Server: Phase 2: Encrypted Data Transfer
Server ->> Client: DATA (Block #1, Ciphertext, Auth Tag)
Client -->> Server: ACK (Block #1, Auth Tag)
Note over Client, Server: Phase 3: Completion
Server ->> Client: DATA (Block #N, Last Chunk)
Client -->> Server: ACK (Block #N)
【データ構造 / パケットフォーマット】
HMTFTPのDATAパケットは、従来のTFTPヘッダの直後にAEADに必要なNonce（またはCounter）と、暗号化されたペイロード、最後に認証タグ（MAC）を付加する構造をとる。
0 1 2 3 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Opcode (3=DATA/4=ACK) | Block # | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Nonce / Initialization Vector | | (Variable) | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | | | Encrypted Payload (Data) | | (Variable) | | | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ | Authentication Tag | | (Variable) | +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
【技術的な特徴と比較】
HMTFTPは、既存の安全な転送プロトコルと比較して「実装の単純さ」と「オーバーヘッドの最小化」に特化している。
| 特徴 | RFC 1350 (TFTP) | HMTFTP (Draft) | HTTP/3 over QUIC |
|---|---|---|---|
| 暗号化方式 | なし | AEAD (AES-GCM / ChaCha20-Poly1305) | TLS 1.3 |
| トランスポート | UDP (ポート 69) | UDP (ポート 69) | UDP (可変) |
| HOL Blocking | 発生する (1ブロック毎) | 発生する (1ブロック毎) | 発生しない (ストリーム) |
| 主要ターゲット | ローカルNW / Boot | IoT / 低リソースWAN更新 | Web / 高性能アプリ |
| MTU考慮 | 手動調整が必要 | AEADタグ分、実効MTUが減少 | 自動PMTUD |
【セキュリティ考慮事項】
リプレイ攻撃への耐性: Block NumberをAEADの追加認証データ（AAD）として含めることで、パケットの順序入れ替えや再送攻撃を検知する。
前方秘匿性（PFS）: 静的なPSKのみを使用する場合、PFSは確保されない。Ephemeral Key交換オプションを併用することでPFSを実現可能だが、IoTデバイスの計算負荷とのトレードオフとなる。
初期化ベクトルの枯渇: Nonceの再利用（Nonce Reuse）はAEADにおいて致命的な脆弱性となるため、セッションごとに厳格なインクリメントまたはランダム生成が求められる。
【まとめと実装への影響】
ネットワークエンジニアおよび開発者が留意すべき点は以下の3点である。
既存インフラとの互換性: HMTFTPはRFC 2347のオプションを利用するため、非対応のサーバは暗号化要求を無視して平文転送を試みる可能性がある。実装時は「暗号化強制モード」の設定が不可欠である。
MTUの設計: AEADのタグ（通常16バイト）とNonceが付与されるため、イーサネットの標準MTU（1500バイト）を前提とする場合、TFTPのブロックサイズをデフォルトの512バイトから適切に調整（例：1400バイト等）し、断片化を避ける設計が推奨される。
暗号ライブラリの選定: IoTデバイス側ではハードウェアアクセラレーション（AES-NI等）の有無を確認すること。アクセラレーションがない場合は、ソフトウェア実装でも高速なChaCha20-Poly1305の採用を検討すべきである。
