公開シンポジウム

「安全な社会基盤を支えるソフトウェア技術」

日時　　２００１年９月２１・２２日　

場所　　学術総合センター 一ツ橋記念講堂

東京都千代田区一ツ橋２−１−２　(Tel: 03-4212-6321)

一般講演会　９月２１日（金）　１３：００〜１７：００

　オーガナイザ　溝口文雄（東京理科大学）・徳田英幸（慶応義塾大学）

13：00−13：10　司会者挨拶　溝口文雄・徳田英幸

13：10−13：30　｢研究プロジェクトの概要｣ 　米澤 明憲 スライド(PDF)

13：30−14：30 招待講演　｢Security Everywhere｣

Prof. Doug Tygar, Dept. of Computer Science and Information Management

University of California, Berkeley

15：00−16：00　特別講演

｢電子政府計画の概要｣ 武田　博之（内閣官房　ＩＴ担当室）

｢電子政府におけるセキュリティ技術｣ 大野　浩之（通信総合研究所　非常時通信研究室）

16：00−17：00　研究報告

｢セキュアメールシステムの設計と構築｣　柴山　悦哉（東京工業大学　数理・計算科学専攻）

テクニカルワークショップ　９月２２日（土）　１０：００〜１７：３０

　オーガナイザ　米崎直樹（東京工業大学）

　　（米国からの参加者の都合により一部変更させて頂くことがあります。）

Session 1 --- Logical Foundations

Organized by Masami Hagiya

10:00 - 10:40

Dawn Song, Adrian Perrig, and Doantam Phan, University of California, Berkeley,

AGVI --- Automatic Generation, Verification, and Implementation of Security Protocols (tentative)

10:40 - 11:00

Shigeki Hagihara, Takayoshi Sanui and Naoki Yonezaki, Tokyo Institute of Technology,

Formal Construction of Security Protocols

11:00 - 11:20

Takamichi Saito, The University of Electro-communications and Masami Hagiya, University of Tokyo,

Classification of Authentication Protocols according to the Timing of Binding

11:20 - 11:40

Daigo Tomioka and Shin-ya Nishizaki: Tokyo Institute of Technology,

Analysis of Tolerance of Network Protocol for Denial of Service

11:40 - 12:00

Wu Wen and Fumio Mizoguchi:Tokyo Univ. of Science, Information Media Center,

A Challenge from the Field: Protocols for Communicating Securely to Smartcard

12:00-13:30 : Lunch

Session 2 --- Intrusion Detection, Denial of Service

Organized by Fumio Mizoguchi and Adrian Perrig

13:30 - 14:10

Adrian Perrig, D.Song, University of California, Berkeley:

Advanced and Authenticated Marking Schemes for IP Traceback

14:10 - 14:40

Hideki Koike and Tetsuji Takada, The University of Electro-communications,

Visualization for Computer Security

14:40 - 15:00

H. Hiraishi, F.Mizoguchi, Tokyo Univ. of Science, Information Media Center:

Visual browser for Intrusion detection

15:00 - 15:30

Hiroaki Eto, IBM Tokyo Research Laboratory

Finding A Connection Chain for Tracing Intruders

15:30 - 16:00 : Coffee break

Session 3 --- Mobile Security and Smart Dust
Organized by Hideyuki Tokuda

16:00 - 16:30

Adrian Perrig, University of California, Berkeley:

"SPINS: A Security Infrastructure for Sensor Networks"

16:30 - 17:00

Shigeru Chiba, Tokyo Institute of Technology:

A Secure Access Control Mechanism against Internet Crackers

17:00 - 17:30

Kazunori Takashio, The University of Electro-communications:

m-P@gent: A Mobile Agent Framework for Campus-Wide Secure Mobile Computing

主催　文部科学省科学研究費補助金特定領域研究（B）

「社会基盤としてのセキュアコンピューティングの実現方式の研究」

代表者／東京大学大学院情報学環・米澤明憲

問い合わせ先： 東京大学　米澤研究室 岡田 （Tel: 03-5841-4108）

E-mail: security.sympo@yl.is.s.u-tokyo.ac.jp　

Web: http://anzen.is.titech.ac.jp/OpenSympo2001/