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@tkl.iis.u-tokyo.ac.jpに 添付の参加申込書をお送り下さい。 皆様のご参加をお待ちしております。 日本データベース学会 国際関係委員会 委員長 （ACM SIGMOD日本支部 支部長） 横田 治夫 連絡先 中野 美由紀 連絡(問合せ)先 日本データベース学会、 ACM SIGMOD 日本支部 sigmodj_lecture@tkl.iis.u-tokyo.ac.jp http://www.dbsj.org/ ----------------------------------------------------------------- To: sigmodj_lecture@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@tkl.iis.u-tokyo.ac.jp