日本応用数理学会 (JSIAM)
「数理的技法による情報セキュリティ」研究部会 (FAIS)
http://fais.jsiam.org/
第一回研究集会のご案内
暗号研究者とフォーマルメソッド研究者の交流を目的として, 日本応用数理学会に
「数理的技法による情報セキュリティ」研究部会が新設されました. 詳しくは上記
ホームページに記載の設立趣旨をご覧ください.
つきましては, その第一回研究集会(立ち上げ会)を次のように開催しますので, ご
案内申し上げます.
なお, 研究集会の後, 周辺での懇親会を予定しております. こちらにも奮ってご参
加ください.
日時: 7月26日(水) 13:30〜17:00
場所: 東京大学 弥生講堂
参加費: 無料(懇親会は別途) 参加は応用数理学会の会員でなくても可.
プログラム
13:30 開会・研究部会代表者挨拶
【第1セッション】座長: 赤間 陽二 (東北大学)
13:30--14:00
櫟 粛之 (NTT)
通信プロトコルの形式的検証技術の概要
14:00--14:30
櫟 粛之 (NTT), 萩谷 昌己 (東京大学)
会議報告: FCC/CSFW/ICALP 2006
(休憩)
【第2セッション】座長: 岡本 龍明 (NTT)
14:45--15:45
Olivier Pereira (Universite Catholique de Louvain)
Formal and computational analysis of cryptographic
protocols based on task-PIOAs
(休憩)
【第3セッション】座長: 岡本 龍明 (NTT)
16:00--16:30
Jesus F. Almansa (NTT)
Negligible Events, Game Transformation and
Formal Proofs of Cryptographic Protocols
16:30--16:45
岡崎 裕之 (信州大学)
情報セキュリティにおけるMizar利用の試み
17:00 懇親会
プログラムは随時更新します. 最新情報は本ページに掲載いたします.
[お願い] 懇親会参加者の概数を把握するために, 参加をご希望される方は
7月24日(月)までに takeuti(at)ni.aist.go.jp (竹内 泉 (産総研))に連絡
下さるようお願いいたします. なお, 当日でも申し込み可能です.
問い合わせ先:
塚田 恭章
NTTコミュニケーション科学基礎研究所
tsukada(at)theory.brl.ntt.co.jp
最終更新: 2006.8.22