耐量子コンピュータ暗号の一つとして多変数がある.本論文では,復号時間の短縮を目的とし,ミックスl-ブランチ構造を持つSquareによる多変数を提案する.数値実験からSquareによる公開鍵と比較し,提案するミックスl-ブランチ構造を持つSquareによる多変数が復号時間の観点から優位である事を示す.

抄録全体を表示

QRコードの改ざん検出について述べる。ディジタル署名、RSA、Wet Paper符号および情報ハイディング技術を組み合わせることにより、QRコードの改ざん検出を実現する。改ざんの有無はQRコードが表現したい情報のハッシュ値を利用し、ハッシュ値をRSAで暗号化し、さらにWet Paper符号で符号化を行い、そのデータをQRコードの表面上の白黒パターンに対して情報ハイディングにより埋め込む。ハッシュ値はシステムで暗号されているので、暗号化に利用する鍵を紛失しない限りQRコードが表現する情報の改ざん検出が可能である。

抄録全体を表示

笠原と境は,2000年から始まる一連の論文において,多変数RSE(2)PKC及びRSSE(2)PKC(以下,笠原-境方式と呼ぶ)を提案した.2004年,Wolf,Braeken,Preneelは,笠原-境方式の落とし戸が持つ多項式の階段型構造を利用する攻撃法"ランク攻撃"を提案した.本稿では,このランク攻撃の前半の処理を構成するHigh Rank Attackの厳密解析を行い,Wolfらのランク攻撃は笠原-境方式に対する汎用的な攻撃法ではないことを明らかにする.

抄録全体を表示

RSA暗号をカオス力学系として解析する。この力学系では、カオス力学系の新しいタイプの可解性が定義される。新しい可解性は多数の同期した周期点の存在によって特徴付けられる。RSA暗号は、これらの周期点の個数とその共通周期の制御可能性に立脚するものであることを示す。

抄録全体を表示

　現代社会においては，多様な情報が様々な暗号技術により保護されている．それらの暗号技術の中には，将来の量子コンピュータによって解読が可能となる暗号，すなわち耐量子計算機性を持たない暗号も存在する．そのような暗号技術は，暗号解読可能な量子コンピュータの登場前に，耐量子計算機性を持つ暗号技術へ移行することが望まれる．一方で，一般に暗号アルゴリズムの移行には，時間や費用面で高いコストが要求される．そのような背景の下，経済的かつ効率的な移行を行うために注目されている概念に，クリプトグラフィック・アジリティがある．本書では，クリプトグラフィック・アジリティの確保によって解決されうる暗号移行における課題と，クリプトグラフィック・アジリティの確保に向けての課題について概説する．

抄録全体を表示

本稿では，証明可能安全な

チャレンジ&レスポンス認証スキームを実装評価した結果を報告する．

抄録全体を表示

The improvement of computer performance causes the decrease of the cipher strength, because the safety of the cipher is based on the difficulty of the decipherment calculation. According to the investigation report concerning the generation change of the cipher, the cipher with still low safety is used, and problems for solution by both the browser side and the server side. In this paper, we suggest the cipher confirmation service to confirm the cipher that the user is using ,and we suggest method to visualize the safety to lead the user to the cipher use with high safety.

抄録全体を表示

Cryptographic schemes must be presented with a security proof based on complexity theory. However, security proofs tend to be complex and difficult to verify, because an adversary can access various kinds of oracles. The use of formal methods is a way to tame such complexity. Hoare logic has been used to verify properties of programs and its probabilistic extension has also been provided. In this paper,we introduce a probabilistic Hoare logic and its application to verification of security proofs of public key encryption schemes. Adversarial attacks are formalized as programs with probabilistic execution and security properties are formalized as first-order logic formulae.

抄録全体を表示

情報技術(IT)は急速な勢いで発展し,情報の伝送・処理の高速化と取り扱われるデータの量の膨大化は止まらない.これに伴い押し寄せてくる新しい種類の脅威に対抗して,IT社会のアンバランスな展開を抑止し,多様な価値を活用できる健全な社会を建設するために必須となるものが,ITの進歩の一歩先を行く暗号技術の開拓であり,技術とその発展系である高機能暗号の実用的方式開発および超高速,省電力,高セキュアなハードウェア実装技術の革新が求められている.

抄録全体を表示

本研究では，正当な所有者以外が利用できない秘密鍵を用いた暗号方式を提案する.この方式には，利用者の端末のフィンガープリント情報を利用する．提案方式は従来の暗号研究とは異なり秘密鍵の安全性を重視している．利用者が秘密鍵を漏洩させた場合であっても，その秘密鍵は鍵ペアを生成した端末以外では動作しないことを保証できる．この方式を任意の方式と組み合わせることにより，当該の端末以外は秘密鍵を使用できなくすることができる．そして，ユーザの端末フィンガープリント情報を再暗号化に利用するため，秘密鍵自体は一度も外に出ることがない．従って，ユーザ自身が転送した場合でも秘密鍵の安全性を保証できる．

抄録全体を表示

剰余環Z/p^kZ上Chebyshev多項式に基づく

が提案され，その暗号の安全性は，Chebyshev多項式の次数決定問題の難しさに依存する．本稿では，Chebyshev多項式の次数決定問題の高速解法を提案し，高速な暗号解読が可能となることを示す．

抄録全体を表示