2000 Fiscal Year Annual Research Report

分散ネットワークにおける情報通信の安全性に関する研究

Research Project

Project/Area Number	10205203
Research Institution	Gunma University
Principal Investigator	五十嵐善英群馬大学, 工学部, 教授 (60006260)
Co-Investigator(Kenkyū-buntansha)	茂木和弘群馬大学, 工学部, 助手 (00251124) 大澤新吾群馬大学, 工学部, 助手 (30241863) 西谷泰昭岩手大学, 工学部, 教授 (60198463)
Keywords	分散システム / 分散アルゴリズム / 非同期共有メモリーモデル / 相互排他問題 / κ-排他問題 / 情報セキュリティ / 暗号システムの安全性 / 多重パーティ計算
Research Abstract	非同期分散アルゴリズムについては、非同期共有メモリーモデル上で相互排他問題とκ-排他問題を解くいくつかのアルゴリズムを提案し、それらの正当性と効率解析を行なった。前者の問題についてはPetersonの提案したn-processアルゴリズムを簡単な修正により、各プロセスが共有資源の使用を要求してからその使用許可がおりるまでの最悪の時間を短縮できることを示した。この結果はParallel Processing Letters(Vol.9,NO.4,pp.475-485,2000)に掲載された。相互排他問題の自然な拡張としてκ-排他問題が提案されている。この問題では、共有資源の並行使用の許可を高々κ個のプロセスに与えることができる。今までの結果はタイムスタンプを用いる方法が主流である。我々が提案したアルゴリズムはタイムスタンプを用いない方式である。また、このアルゴリズムでは高々κ-1個までの停止型のプロセス故障に対してもロックアウトが生じないことが保証される。これらの結果は電子情報通信学会コンピュテーション研究会(2000年11月)で発表した。情報セキュリティに関しては、ランダムに配布したカードを用いて階層構造のある条件を満足するように全域木を構成し、この全域木上で上位から下位に秘密ビットを伝達する問題の定式化と配布されるカードの枚数に関して、このような全域木が構成できるための十分条件を与えた。この結果は11th International Conference on Algorithms and Computation,Taipei,Taiwan,2000年12月で発表した。また、公開鍵暗号システムの安全性の1つの定義を提案し、従来の安全性の定義と比較した。

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] Hideaki Sakai,Yoshihide Igarashi: "A refined definition of semantics security for public-key encryption schemes"IEICE Trans. on Information and Systems. E84-D・1. 34-39 (2001)
[Publications] Reina Yoshikawa,Yoshihide Igarashi: "Secret key exchange using random deals of cards on hierarchical structures"Lecture Notes in Computer Science. 1969. 290-301 (2000)
[Publications] Kumiko Obokata,Yoshihide Igarashi: "A lockout avoidance algorithm for the κ-exclusion problem"電子情報通信学会技術研究報告. 100・449. 33-40 (2000)
[Publications] Yasuaki Nishitani,Yoshihide Igarashi: "Secure multi-party computation over networks"IEICE Trans. on Information and Systems. E83-D・3. 561-569 (2000)
[Publications] Yoshihide Igarashi,Yasuaki Nishitani: "Speedup of the n-process mutual exclusion algorithm"Parallel Processing Letters. 9・4. 475-485 (2000)
[Publications] Hideaki Sakai,Yoshihide Igarashi: "Refinements to the definition of distingushability for public-key encryption systems"電子情報通信学会研究報告. 100・216. 9-16 (2000)
[Publications] 杉原厚吉,五十嵐善英: "アルゴリズム工学"共立出版. 300 (2001)

2000 Fiscal Year Annual Research Report

分散ネットワークにおける情報通信の安全性に関する研究

Principal Investigator

五十嵐 善英 群馬大学, 工学部, 教授 (60006260)

Research Products

[Publications] Hideaki Sakai,Yoshihide Igarashi: "A refined definition of semantics security for public-key encryption schemes"IEICE Trans. on Information and Systems. E84-D・1. 34-39 (2001)

[Publications] Reina Yoshikawa,Yoshihide Igarashi: "Secret key exchange using random deals of cards on hierarchical structures"Lecture Notes in Computer Science. 1969. 290-301 (2000)

[Publications] Kumiko Obokata,Yoshihide Igarashi: "A lockout avoidance algorithm for the κ-exclusion problem"電子情報通信学会技術研究報告. 100・449. 33-40 (2000)

[Publications] Yasuaki Nishitani,Yoshihide Igarashi: "Secure multi-party computation over networks"IEICE Trans. on Information and Systems. E83-D・3. 561-569 (2000)

[Publications] Yoshihide Igarashi,Yasuaki Nishitani: "Speedup of the n-process mutual exclusion algorithm"Parallel Processing Letters. 9・4. 475-485 (2000)

[Publications] Hideaki Sakai,Yoshihide Igarashi: "Refinements to the definition of distingushability for public-key encryption systems"電子情報通信学会研究報告. 100・216. 9-16 (2000)

[Publications] 杉原厚吉,五十嵐善英: "アルゴリズム工学"共立出版. 300 (2001)

五十嵐善英群馬大学, 工学部, 教授 (60006260)