■日時： 平成18年6月30日 (金) 13時30分～16時30分
■場所： 北陸先端科学技術大学院大学，情報科学研究科コラボレーションルーム7
■プログラム (発表時間は質疑応答を含む)

13:30 - 14:00 DDoS攻撃と防御メカニズムの分類
竹本 秀樹 (北陸先端大)

14:00 - 14:30 ２基数による楕円加算連鎖の計算量評価
溝添 健次 (北陸先端大)

14:30 - 15:00 休憩

15:00 - 15:30 プルーフチェッカーMizarについて 他
荒井 研一，岡崎 裕之 (信州大)

15:30 - 16:00 SHA-0 に対する Wang の差分攻撃について
布川 恭平 (福井大)

16:00 - 16:30 ハッシュ関数の安全性に関する考察
廣瀬 勝一 (福井大)


------------------------------------------------------------------------
Meeting for Hokuriku Information Security Society
*DATE : June 30, 2006
*PLACE : JAIST IS collaboration room 7

Program

13:30 - 14:00 The classification of DDoS attacks and defense mechanisms
Hideki Takemoto (JAIST)

14:00 - 14:30 Evaluation about the computational cost of Double-Base Chain
Kenji Mizosoe (JAIST)

14:30 - 15:00 Break

15:00 - 15:30 A proof checker Mizar
Kenichi Arai, Hiroyuki Okazaki (Shinshu Univ.)

15:30 - 16:00 Wang's differential attack on SHA-0
Kyohei Nunokawa (Univ. of Fukui)

16:00 - 16:30 Some Considerations on the Security of Cryptographic Hash
Functions
Shoichi Hirose (Univ. of Fukui)

[戻る ]