[dbjapan] DBSJ & ACM SIGMODJ講演会のご案内 ４月９日（本日）午後５時から

[Miyuki Nakano <miyuki [at] tkl.iis.u-tokyo.ac.jp>]

DBSJの皆様、

以下の講演会が本日（4月9日）午後５時に東大生研にて行われます。
ふるってご参加ください。
　　　　　　　　　　　　　　　　　東京大学生研
　　　　　　　　　　　　　　　　　中野美由紀

　☆☆☆　4月9日　講演会のご案内　　　☆☆☆

共催　日本データベース学会
　　　ACM SIGMOD日本支部
　　　特定領域研究「情報爆発IT基盤」

日時　4月9日（金）　午後5時〜午後6時
場所　東京大学生産技術研究所　E棟　5階　会議室A（Ew-501）
      http://www.iis.u-tokyo.ac.jp/map/index.html

Speaker :　Prof. Joachim Biskup
　　　　　(Technische Universitaet Dortmund, Germany)
Title : Usability Confinement of Server Reactions:
Maintaining Inference-Proof Client Views
by Controlled Interaction Execution

参加費　無料

参加ご希望の方は、
　日本データベース学会のホームページにて
　　　( http://www.dbsj.org/ )
　　　会員登録の後（会費無料、すでに登録されている方は結構です）、
      sigmodj_lecture [at] tkl.iis.u-tokyo.ac.jpに
　　　添付の参加申込書をお送り下さい。

皆様のご参加をお待ちしております。

                        日本データベース学会　国際関係委員会　委員長
                        （ACM　SIGMOD日本支部　支部長）　横田　治夫

　　　　　　　　　　　　　　　　　　　　　　  連絡先　 中野　美由紀
　　　　　　　　　　
                        連絡(問合せ)先　日本データベース学会、
　　　　　　　　　　　　　　　　        ACM SIGMOD 日本支部
                                sigmodj_lecture [at] tkl.iis.u-tokyo.ac.jp
　　　　　　　　　　　　　　　　http://www.dbsj.org/

-----------------------------------------------------------------
To: sigmodj_lecture [at] tkl.iis.u-tokyo.ac.jp

日本データベース学会・ACM SIGMOD日本支部共催　講演会　参加申し込み

4月9日（金）の講演会に参加
・名前　　　
・ご所属
------------------------------------------------------------------
Program

Usability Confinement of Server Reactions:
Maintaining Inference-Proof Client Views
by Controlled Interaction Execution

Joachim Biskup

Technische Universitaet Dortmund
Germany


We survey the motivation, the main insight and the perspective
of our approach to policy-driven inference control of server-client
interactions
for a logic-oriented information system.

Basically, our approach aims to confine the usability of the data
transmitted by the server to a client. The confinement is achieved
by enforcing an invariant that, at any point in time,
a client's view on the actual information system
is kept inference-proof: the information content
of the data available to the client does not violate any
protection requirement expressed by a declarative
confidentiality policy. In this context, the information content
of data and, accordingly, the inference-proofness of such data
crucially depend on the client's a priori knowledge, general reasoning
capabilities and awareness of the control mechanism.

We identify various parameters of the approach,
outline control mechanisms to enforce the goals,
and sketch the methods employed for a formal verification.
-- 
-----------------------------------------------------------------------
中野　美由紀		東京大学　生産技術研究所　喜連川研究室
Miyuki NAKANO		Institute of Industrial Science, Univ. of Tokyo
miyuki [at] tkl.iis.u-tokyo.ac.jp