第19回仮想化実装技術勉強会
Aug 24, 2009 From: ko1@a...
皆様
東大創造情報の笹田です．
お世話になっております．
以下の通り，19回勉強会を開催いたします．よろしくご参集下さい．あと，須
崎さんが USENIX Security の報告もして下さるそうです．
19回仮想化実装技術勉強会
日時：2009年09月11日 (金) 18:30 〜
場所：秋葉原ダイビル13F 東大秋葉原拠点 大会議室
（http://www.i.u-tokyo.ac.jp/map/index.shtml#aki）
題目：HyperAttacker: 仮想マシンモニタを用いた
Software Fault Injectionツール
話者：大山 恵弘（電気通信大学）
概要：セキュリティシステムをテストするためのSoftware Fault
InjectionツールHyperAttackerについて発表する．HyperAttacker
はユーザの与えるシナリオに沿ってソフトウェアに異常を注入する．
セキュリティシステムが監視しているソフトウェアにおいて，シナ
リオで指示されたイベントが発生すると，HyperAttackerはそのイ
ベントに関係づけられた異常を注入する．注入できる異常には，レ
ジスタ，ユーザメモリ領域，カーネルメモリ領域が持つ値の改変な
どがある．HyperAttackerは仮想マシンモニタXenを改造して実装さ
れている．Dom0で動くプログラムがDomUで動くプログラムに対して
異常を注入する．ユーザはHyperAttackerの利用にあたり，テスト
されるセキュリティシステムや監視されるソフトウェアのコードを
修正する必要はなく，異常が注入されるDomUに特殊なプログラムを
インストールする必要もない．
// SASADA Koichi at atdot dot net
Sep 11, 2009 From: ko1@a...
皆様
笹田です。
本日の勉強会のリマインダをお送りします。
SASADA Koichi wrote::
皆様
東大創造情報の笹田です． お世話になっております．
以下の通り，19回勉強会を開催いたします．よろしくご参集下さい．あと，須 崎さんが USENIX Security の報告もして下さるそうです．
19回仮想化実装技術勉強会
日時：2009年09月11日 (金) 18:30 〜 場所：秋葉原ダイビル13F 東大秋葉原拠点 大会議室 （http://www.i.u-tokyo.ac.jp/map/index.shtml#aki）
題目：HyperAttacker: 仮想マシンモニタを用いた Software Fault Injectionツール 話者：大山 恵弘（電気通信大学） 概要：セキュリティシステムをテストするためのSoftware Fault InjectionツールHyperAttackerについて発表する．HyperAttacker はユーザの与えるシナリオに沿ってソフトウェアに異常を注入する． セキュリティシステムが監視しているソフトウェアにおいて，シナ リオで指示されたイベントが発生すると，HyperAttackerはそのイ ベントに関係づけられた異常を注入する．注入できる異常には，レ ジスタ，ユーザメモリ領域，カーネルメモリ領域が持つ値の改変な どがある．HyperAttackerは仮想マシンモニタXenを改造して実装さ れている．Dom0で動くプログラムがDomUで動くプログラムに対して 異常を注入する．ユーザはHyperAttackerの利用にあたり，テスト されるセキュリティシステムや監視されるソフトウェアのコードを 修正する必要はなく，異常が注入されるDomUに特殊なプログラムを インストールする必要もない．
// SASADA Koichi at atdot dot net
Sep 14, 2009 From: ko1@a...
皆様
笹田です．
須崎さんから資料を頂きましたのでアップロードいたしました．
http://qwik.atdot.net/vimpl/74.html
SASADA Koichi wrote::
皆様
笹田です。
本日の勉強会のリマインダをお送りします。
SASADA Koichi wrote::
皆様
東大創造情報の笹田です． お世話になっております．
以下の通り，19回勉強会を開催いたします．よろしくご参集下さい．あと，須 崎さんが USENIX Security の報告もして下さるそうです．
19回仮想化実装技術勉強会
日時：2009年09月11日 (金) 18:30 〜 場所：秋葉原ダイビル13F 東大秋葉原拠点 大会議室 （http://www.i.u-tokyo.ac.jp/map/index.shtml#aki）
題目：HyperAttacker: 仮想マシンモニタを用いた Software Fault Injectionツール 話者：大山 恵弘（電気通信大学） 概要：セキュリティシステムをテストするためのSoftware Fault InjectionツールHyperAttackerについて発表する．HyperAttacker はユーザの与えるシナリオに沿ってソフトウェアに異常を注入する． セキュリティシステムが監視しているソフトウェアにおいて，シナ リオで指示されたイベントが発生すると，HyperAttackerはそのイ ベントに関係づけられた異常を注入する．注入できる異常には，レ ジスタ，ユーザメモリ領域，カーネルメモリ領域が持つ値の改変な どがある．HyperAttackerは仮想マシンモニタXenを改造して実装さ れている．Dom0で動くプログラムがDomUで動くプログラムに対して 異常を注入する．ユーザはHyperAttackerの利用にあたり，テスト されるセキュリティシステムや監視されるソフトウェアのコードを 修正する必要はなく，異常が注入されるDomUに特殊なプログラムを インストールする必要もない．
// SASADA Koichi at atdot dot net
Sep 14, 2009 From: k.suzaki@a...
須崎です。
笹田さん、ありがとうございます。
笹田さんがアップロードしたバージョンは大事な修正が見えなかったので再度
アップロードしました。
見えなかったところ。
SVAに命令追加。 sva_begin_alt, sva_end_alt 自己書き換えコードの領域指定 sva_disable_code, sva_enable_code自己書き換えコードの書換え不許可・許可
suzaki
>>From: SASADA Koichi <ko1@a...> >>Subject: [vimpl:127] Re: [ANN] 19回仮想化実装技術勉強会 >> >>皆様 >> >> 笹田です． >> >> 須崎さんから資料を頂きましたのでアップロードいたしました． >>http://qwik.atdot.net/vimpl/74.html >> >> >>SASADA Koichi wrote:: >>> 皆様 >>> >>> 笹田です。 >>> >>> 本日の勉強会のリマインダをお送りします。 >>> >>> >>> SASADA Koichi wrote:: >>>> 皆様 >>>> >>>> 東大創造情報の笹田です． >>>> お世話になっております． >>>> >>>> 以下の通り，19回勉強会を開催いたします．よろしくご参集下さい．あと，須 >>>> 崎さんが USENIX Security の報告もして下さるそうです． >>>> >>>> >>>> ------------------------------------------------------------------------- >>>> 19回仮想化実装技術勉強会 >>>> >>>> 日時：2009年09月11日 (金) 18:30 〜 >>>> 場所：秋葉原ダイビル13F 東大秋葉原拠点 大会議室 >>>> （http://www.i.u-tokyo.ac.jp/map/index.shtml#aki） >>>> >>>> 題目：HyperAttacker: 仮想マシンモニタを用いた >>>> Software Fault Injectionツール >>>> 話者：大山 恵弘（電気通信大学） >>>> 概要：セキュリティシステムをテストするためのSoftware Fault >>>> InjectionツールHyperAttackerについて発表する．HyperAttacker >>>> はユーザの与えるシナリオに沿ってソフトウェアに異常を注入する． >>>> セキュリティシステムが監視しているソフトウェアにおいて，シナ >>>> リオで指示されたイベントが発生すると，HyperAttackerはそのイ >>>> ベントに関係づけられた異常を注入する．注入できる異常には，レ >>>> ジスタ，ユーザメモリ領域，カーネルメモリ領域が持つ値の改変な >>>> どがある．HyperAttackerは仮想マシンモニタXenを改造して実装さ >>>> れている．Dom0で動くプログラムがDomUで動くプログラムに対して >>>> 異常を注入する．ユーザはHyperAttackerの利用にあたり，テスト >>>> されるセキュリティシステムや監視されるソフトウェアのコードを >>>> 修正する必要はなく，異常が注入されるDomUに特殊なプログラムを >>>> インストールする必要もない． >>>> >>> >>> >> >> >>-- >>// SASADA Koichi at atdot dot net >> >>-- >>archive-> http://qwik.atdot.net/vimpl/74.html >>ML-> vimpl@q... >>