日本応用数理学会 (JSIAM)
「数理的技法による情報セキュリティ」研究部会 (FAIS)

第一回研究集会

                      日本応用数理学会 (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