第5回辻井重男セキュリティ論文賞審査委員会すでに3月2日付でお知らせしております第5回辻井重男セキュリティ論文賞の受賞論文について、審査員の講評をお知らせいたします。表彰式は、6月13日開催予定のJSSM全国大会で執り行います。表彰式の模様は改めてお知らせいたします。賞に選ばれたみなさま、誠におめでとうございます。制度的な対応もなされている。サービス事業者の視点からは、理解される「プライバシーポリシー」の提示と、利用者からの同意の取得に大きな課題がある。この一見すると相反する課題の解決なしには、同意に基づく個人情報の適切な利活用と保護の実現は難しい。本論文は、まさに、こうした現在の社会の大きな課題に対して、理解しやすさを高めたとしてもサービス利用意向は下がらないことを明らかにした点が非常に有益である。研究のアプローチについても、プライバシーポリシーの「理解しやすさ」「信頼感」「サービス利用意向」といった評価軸を設定することで、個人の視点、サービス事業者の視点を包括的にとらえた研究としているところに新規性がある。したことを3000人規模のアンケート調査を行い検証していることから、信頼性も高い論文となっている。以上のことから、本論文は、社会の大きな課題に対して取り組んでいるという意味において、有用性が高く評価でき、包括的な仮説とその検証というところでは新規性、信頼性にも優れ、辻井重男セキュリティ論文賞大賞にふさわしい。問題の計算困難性が良く利用される。暗号のパラメータを決める上で、その基盤となる計算問題の困難性の評価は重要である。これまで、BKZアルゴリズムを利用してLWE問題を解く手法がいくつか知られているが、本論文はこれら既存手法を組み合わせて、LWE問題の幅広いパラメータに対して適用可能な解法アルゴリズムを提案している。提案アルゴリズムが既存の解法アルゴリズムよりもLWE問題の広いパラメータ領域に対して効果的であることを理論的に示し、数値実験的にもそれを実証している。以上のことから本論文は、特別賞に値すると評価できる。本論文は、社会インフラステムに対してセキュリティ対策立案手法を提案した、有用性の高い実務課題論文である。リスク対応の対策は無数であり、網羅的かつ効率化することが非常に重要であるが、また困難でもある。その問題に対して、テンプレートを利用してセキュリティの設計を簡素化しつつも網羅性を確保するアイデアは、大変有用性が高く特別賞に値する。今回、スマートメータの例を用いているが、その他のケースでも同様に有効である実証を追加いただけるとさらに有用性と信頼性が高まると思われるので、引き続き実務の実施とその結果の検証および信頼性の向上を心掛けていただくことをお願いしたい。本論文は、複雑化するWebアプリケーションの安全性をどうやって評価するか、という問題に対して、Alloyという比較的ユーザーにとって敷居が低い形式言語を使って取り組んでいる。Alloyを使った従来研究では3つ以上の状態を取り扱えなかったが、本研究では時間軸を扱う術語を追加することで、ウェブキャッシュを含む複雑なWebアプリケーションをモデル化する方法を提案した。Analyzer上で再現し、提案手法の実用性を実証した。以上のことから、本論文は辻井重男セキュリティ論文賞特別賞に相応しい。高度なセキュリティシステムの基盤には真正乱数生成器のランダム性が不可欠な一方で、そうしたランダム性を低下させるような電磁波攻撃は従来から知られていた。これに対し本論文は、リング・オシレータにもとづく真正乱数生成器を対象に、約40cmという遠方から非侵襲にランダム性を低下できることを、環境電磁工学的な実験により示し、新規性に値する。攻撃の周波数を変えたときに、ランダム性の低下の度合いを精緻に定量化したことから、有効性に値する。論文の書き方として、実験の器材や条件を詳細に記載しており、信頼性も高い。以上のことから優秀賞にふさわしい。受賞論文はランダムオラクルを用いない標準モデルにおいてEUF-CMA安全性をペアリング群上のDiffie-Hellman計算問題に帰着できるディジタル署名の構成を示したものである。従来、ランダム化できる署名の帰着効率は最適下界が知られていたが、提案の方式ではランダム化できない署名とすることでよりタイトな帰着に成功している。小さなセキュリティパラメータの群で従来と同等の安全性が得られることになるため、署名サイズの縮小や署名生成・検証における計算コストの低減に寄与する結果である。安全性の証明技法にも独自性が認められ、学術研究論文として優秀賞に相応しいと評価した。Management)。