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

Roberto Segala 教授 講演会

                Roberto Segala 教授 講演会 のご案内


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


Roberto Segala 教授 (Verona 大学，イタリア) が 5月22日〜24日の期間, 
NTT 横須賀 R&D センター http://www.ntt.co.jp/RD/OFIS/loc_yokosuka.html
で以下の予定で講演します. 

Roberto Segala 教授は, フォーマルメソッドの分野, 特にハイブリッドシステムの
確率的検証や確率的モデル検査の分野で, Nancy Lynch 教授, Marta Kwiatkowska 
教授, Frits Vaandrager 教授らとともに世界を牽引してこられ, 特に近年は Ran 
Canetti 博士らと共同で Task-Structured Probabilistic I/O Automata を用いた
セキュリティプロトコルの検証の研究などを進められ, 注目を集めていらっしゃい
ます. 

今回, この分野のチュートリアルから, 20th IEEE Computer Security Foundations 
Symposium (CSF-20, 2007年7月)で教授が発表予定の最新の話題まで, ご講演いただ
けることになりました. 

数理的技法による暗号安全性研究を勉強するよい機会ですので, この分野に興味の
ある方は是非ご参加下さい. 

参加希望の方は, 事前にお知らせ頂ければ入館登録を事前にしておきますので, 
堀越（horikoshi.yukiko(at)lab.ntt.co.jp）まで御氏名, 御所属をお知らせ下さい. 

なお, 5月24日（木）の講演後に（18:00〜）, Roberto Segala 教授との懇親会を
横須賀中央の寿司店「豊魚」で行ないます. 参加希望の方は, 同じく
堀越（horikoshi.yukiko(at)lab.ntt.co.jp）までお知らせ下さい. 


Roberto Segala 教授 講演会   


(1) 講演１

・日時： 5月22日（火）  13:00 〜 15:00 
・場所： 105C-2 会議室（NTT 横須賀 R&D センター） 
・講演題目： Formal Methods for Security: Why? - How?
・講演概要： 

This is a general talk about the need for usage of formal methods
in computer applications, including security-related applications.
We state that formal methods are useful, that there are several
approaches and techniques, and that more work is necessary.
The seminar also gives a survey of the main existing approaches.

  講演資料

(2) 講演２

・日時： 5月23日（水）  15:00 〜 17:00
・場所： 105C-2 会議室（NTT 横須賀 R&D センター） 
・講演題目： Probabilistic Automata: Probability and Nondeterminism Together
・講演概要： 

This is an introductory talk about operational models for 
probabilistic nondeterministic systems.
Here we review the theory more closely, and will give us a bridge
between the motivation from Seminar 1 and the more specific 
approaches of our next Seminar.

  講演資料

(3) 講演３

・日時： 5月24日（木）  15:00 〜 17:00
・場所： 105C-2 会議室（NTT 横須賀 R&D センター） 
・講演題目： Formal Verification of Security Protocols using Automata
・講演概要： 

This talk concerns more specifically the verification of security 
protocols. We give more details on some approaches surveyed 
in the first Seminar, but we give more emphasis on our current work: 
essentially, the Task PIOA framework and highlights of 
the Oblivious Transfer case study,
and the CSF07 work on polynomially accurate simulation relations.

  講演資料


[Prof. Roberto Segala's Background]

*Professor (2005-present), 
 University of Verona, Department of Computer Science.

*Associate Professor (2001-2005), 
 University of Verona, Department of Computer Science.

*Research Associate (1995-2001), 
 University of Bologna, Department of Computer Science.

*PhD in Electrical Engineering and Computer Science (1995),
 Massachusetts Institute of Technology, Cambridge, USA.
 Thesis: Modeling and Verification of Randomized Distributed Real-Time Systems.
 Thesis advisor: Nancy Lynch.


【問い合わせ先】

    塚田恭章
    NTTコミュニケーション科学基礎研究所
    tsukada(at)theory.brl.ntt.co.jp