(sigemb-info 443) [GRACE-staffs] [GRACE-announce] [event-info] The 24th GRACE Seminar; (September 7th)

["Yumi YAMASAKI" <yumi1007@xxxxxxxxx>]

ご関係者各位

いつもお世話になっております。

本ＭＬをお借りいたしまして
第24回GRACEセミナー（9/7）のご案内を差し上げます。

尚、重複して案内を受け取られた方は
ご了承くださいますようお願い申し上げます。

田口　研治（ＮＩＩ）
Tel：03-4212-2604
e-mail：ktaguchi@xxxxxxxxx

====================================================================

第24回先端ソフトウェア科学・工学に関するGRACEセミナーのご案内
The 24th GRACE Seminar on Advanced Software Science and Engineering

下記の日程でGRACEセミナーを開催いたします。

  第24回 GRACEセミナー
  日時：2009年9月7日（月） 13:00-18:00
  場所：国立情報学研究所(NII) 20階講義室１(2005)

参加費は無料です。
参加をご希望の方は、下記アドレスまで、セミナー前日まで
必要事項を記入し，"24th GRACE Seminar"というタイトルで
電子メールでご登録をお願いします。

 登録アドレス：event-info@xxxxxxxxxxxxxxx
 必要事項：お名前、所属、メールアドレス

I am pleased to announce the 24th GRACE Seminars on Advanced Software Science and Engineering.

Date: September 7 (Mon) 13:00-18:00
Place: Lecture Room 1 (2005), 20F, NII

The registration fee is free but it is needed to register your name, affiliation and e-mail address in advance.
Please send a mail titled "24th Grace Seminar"
including the information to event-info@xxxxxxxxxxxxxxxx

We are looking forward to meeting you at the GRACE seminars.

You can find the detailed information below:

=====================================================================
Details:

Speaker: Professor David Basin, ETH Zurich Title : Model Driven Security 

Abstract:
We present an approach to integrating security into the system design process.  Namely, models are made of system designs along with their security requirements, and security architectures are automatically generated from the resulting security-design models. We call the resulting approach "Model Driven Security" as it represents a specialization of model driven development to the domain of system security.

To illustrate these ideas we present SecureUML, a modeling language based on UML for modeling system designs along with their security requirements.  From SecureUML models, we automatically generate security architectures, built from declarative and programmatic access control mechanisms, for distributed middleware-based applications.
We report on case studies using model-driven development tools and highlight our current research in this area.

=======================================
Speaker: Professor David Basin, ETH Zurich Title : Specifying and Analyzing Security Automata

Abstract:
Security automata are a variant of Buechi automata used to specify security policies that can be enforced by monitoring system execution.  We propose using CSP-OZ for specifying security automata, formalizing their combination with target systems, and analyzing the security of the resulting system specifications.  CSP-OZ is a rich specification language that combines Communicating Sequential Processes
(CSP) and Object-Z (OZ).  Our thesis is that this language is very well suited for specifying and reasoning about complex security automata and their combination with large-scale systems. This includes the ability to specify concisely complex operations and complex control, support for structured specifications, refinement, and transformational design, as well as automated, tool supported analysis.  We present two case studies, which provide support for this thesis.

Bio：
David Basin is a full professor of Computer Science at ETH Zurich and head of the Information Security research group.
He received a his Ph.D. in Computer Science from Cornell University in 1989 and his Habilitation in Computer Science from the University of Saarbrucken in 1996. He was a research fellow at both the University of Edinburgh (1990-1991) and the Max-Planck-Institut für Informatik (1992-1997). From 1997-2002 he held the chair of Software Engineering at the University of Freiburg in Germany. His research areas are Information Security and Software Engineering, in particular methods and tools for building secure and reliable systems. 
He is the founding director of the ZISC, the Zurich Information Security Center, which he leads since 2003. 
He serves on the editorial boards of numerous journals including IEEE Transactions on Dependable and Secure Computing, Acta Informatica, and Information Processing Letters. 
He is Editor-in-Chief (together with Ueli Maurer) of Springer-Verlag's book series in Information Security and Cryptography.  
He co-founded the conference series on Formal Methods in Security Engineering and is on the steering committee of the ACM Symposium on Information, Computer and Communications Security (ASIACCS).


=================== GRACEセンターからのお知らせ ======================

GRACEセンター（先端ソフトウェア工学・国際研究センター）では、
今後GRACEセミナーなどのイベント案内や研究資料など、
GRACEセンターに関する情報をEメールにてお届けしています。

■お申し込みは↓■
http://grace-center.jp/mail_member.html
是非ご購読下さい！購読料は無料です。

[GRACEセンター]
http://www.grace-center.jp/index.html
[メールマガジンについてのお問い合わせ]
owner-grace-bulletin@xxxxxxxxx