[B-16] インターネットアーキテクチャ

13:15 〜 13:30

[B-16-13] Tamarin Prover を用いた DNS 通信の機関プライバシの一考察

〇砂原 悟¹、黒田 仁胡、萩原 茂樹² (1. 北海道大学、2. 公立千歳科学技術大学)

キーワード：

形式検証、DNS、機関プライバシー、Tamarin Prover、匿名性

閲覧にはパスワードが必要です