1995 Fiscal Year Annual Research Report

推論を利用した暗号プロトコルの自動検証に関する研究

Research Project

Project/Area Number	07650413
Research Category	Grant-in-Aid for General Scientific Research (C)
Research Institution	Tokyo Institute of Technology
Principal Investigator	黒沢馨東京工業大学, 工学部, 助教授 (60153409)
Co-Investigator(Kenkyū-buntansha)	辻井重男中央大学, 理工学部, 教授 (50020350) 佐藤敬東京工業大学, 工学部, 助手 (30262281)
Keywords	暗号プロトコル / secret sharing / 認証コード / グループ署名
Research Abstract	暗号プロトコルにおいては、secret sharing scheme および認証コードが重要な役割を果たす。secret sharing schemeは不正なプレイヤーが存在してもうまく動作するフォールトトレラントな暗号プロトコルを設計する上で非常に重要である。本研究では、secret sharing schemeそのものに不正者がいる場合、その不正者を検出する問題について検討し、そのフォーマルな定式化を示すとともにorthogonal arrayを利用した実現方法を示した。また、認証コードにおいては、従来、送信者、受信者はhonestで外部の敵のみが不正をするというモデルが考えられてきたが、送信者、受信者も不正をし、調停者が紛争を解決するというモデルに対し、不正確率の下限、鍵サイズの下限を導出した。上述のsecret sharing schemeについては、Crypt'95という国際会議にて発表した。認証コードについては、Eurocrypt'95,Cocoon'95という国際会議にて発表した。Crypt,Eurocryptともに競争率が4倍程度と非常にレベルの高い国際会議であり、そのProceedingsはSpringer-Verlag社により、Lecture Moteシリーズとして世界中に配布されている。また、n人中k人が集まればディジタル署名ができるというグループ署名方式についてもElGamalタイプの新方式を提案しており、これは電子情報通信学会の英文小特集号に掲載されている。上述の成果は、複雑な暗号プロトコルの自動検出において、これらの構成要素をブラックボックスとみなして検出システムを構築して安全なのらどうか、安全であればそういった検証システムを構築するのが、今後の課題である。

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] 黒沢、尾花: "Combiratorial boeends for aultentication codes with arbitration" Proc. of Eurocrypt' 95. Lecture Notes in Conyeter science, Springer Verlag. LMCS921. 289-300 (1995)
[Publications] 黒沢、景山: "New bound for affere resolvalle designs and its ayylication to acthentication codes" Proc. of COCOON '95. Lecture Notes in Conyeter science Springer Verlag. LNCS302. 292-302 (1995)
[Publications] 黒沢、尾花、尾形: "t-cheater identifiable(k,λ)threshold secret shauing schenes" Proc. of Crypto '95. Lecture Notes in Conyeter science Springer Verlag. LNCS963. 410-423 (1995)
[Publications] 朴、黒沢: "New ElGamal type threshold digital siynetare scheme" 電子情報通信学会論文誌. E79-A,No.1. 86-93 (1996)
[Publications] 朱、黒沢、辻井: "Authentication codes based on association schemes" 電子情報通信学会論文誌. E79-A No.1. 126-130 (1996)
[Publications] 藤井、Kachen、黒沢: "Comberatorial boeends and design of broadcast" 電子情報通信学会論文誌. E79-A. (1996)

1995 Fiscal Year Annual Research Report

推論を利用した暗号プロトコルの自動検証に関する研究

Principal Investigator

黒沢 馨 東京工業大学, 工学部, 助教授 (60153409)

Research Products

[Publications] 黒沢、尾花: "Combiratorial boeends for aultentication codes with arbitration" Proc. of Eurocrypt' 95. Lecture Notes in Conyeter science, Springer Verlag. LMCS921. 289-300 (1995)

[Publications] 黒沢、景山: "New bound for affere resolvalle designs and its ayylication to acthentication codes" Proc. of COCOON '95. Lecture Notes in Conyeter science Springer Verlag. LNCS302. 292-302 (1995)

[Publications] 黒沢、尾花、尾形: "t-cheater identifiable(k,λ)threshold secret shauing schenes" Proc. of Crypto '95. Lecture Notes in Conyeter science Springer Verlag. LNCS963. 410-423 (1995)

[Publications] 朴、黒沢: "New ElGamal type threshold digital siynetare scheme" 電子情報通信学会論文誌. E79-A,No.1. 86-93 (1996)

[Publications] 朱、黒沢、辻井: "Authentication codes based on association schemes" 電子情報通信学会論文誌. E79-A No.1. 126-130 (1996)

[Publications] 藤井、Kachen、黒沢: "Comberatorial boeends and design of broadcast" 電子情報通信学会論文誌. E79-A. (1996)

黒沢馨東京工業大学, 工学部, 助教授 (60153409)