大会名称 |
---|
2020年 総合大会 |
大会コ-ド |
2020G |
開催年 |
2020 |
発行日 |
2020-03-03 |
セッション番号 |
D-19 |
セッション名 |
情報通信システムセキュリティ |
講演日 |
2020/3/17 |
講演場所(会議室等) |
総合科学部 K棟2F K205講義室 |
講演番号 |
D-19-9 |
タイトル |
モデル検査器ProVerifによるDES暗号の形式化 |
著者名 |
○磯貝百恵, 岡崎裕之, 荒井研一, 布田裕一, 三重野武彦, |
キーワード |
形式的安全検証, ProVerif, DES |
抄録 |
モデル検査器のProVerifを用いてDES暗号を形式化し安全検証を行う。ProVerifはBlanchetらが開発した暗号プロトコルの自動検証ツールであり、暗号プロトコルの認証や秘匿など安全性要件を自動で検証することができる。そして、DESはブロック長64bitの共通鍵暗号方式である。64bitを32bitずつにブロック分割をしてラウンドと呼ばれる手順を16回繰り返すことにより暗号化する。ProVerifを用いてDES暗号等の典型的な秘密鍵暗号の構成法として知られるフェイステル構造の形式化を行った。 |
本文pdf |
PDF download
|