Mercurial > hg > Members > atton > seminar_slides

annotate slides/20140225/slide.md @ 85:c46e19c44d57

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add slide for seminar
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 09 Dec 2014 17:15:17 +0900
parents 2184b4fd34f2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
29
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 title: 証明によるプログラムの信頼性の向上(仮)
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 author: Yasutaka Higa
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 cover:
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 lang: Japanese
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 # 研究目的(仮)
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 * 証明によるプログラムの信頼性の向上を目指す。
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 * 信頼性とは、プログラムがプログラマの予期しない動作をしないことである。
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 * 目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 # 近況報告
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 * 運転手 for 坂井さん
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 * nkさんからGGJ のフィードバックが来ていたので wiki に反映
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 * OSの講義VMが攻撃を受けて学科ネットワークに影響
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 * いくつかの読み物
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 # VM が攻撃を受けた話
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 * kvm で起動していた受講生のVMが攻撃を受けた
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 * vagrant で作成したイメージを kvm で起動しっぱなしだった
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 * ネットワークはグローバルIPを使っていた
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 * セキュリティが甘い状態で攻撃を受けてしまい、学科ネットワークに影響が出た
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 * 現在は当該VMは shut off
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 # OSの講義と攻撃対策
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 * 今回は攻撃によるネットワーク異常が検出された
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 * シス管としてOSのVMの今後の攻撃対策をどうするのかと考えた時
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 * OSの講義のポリシが気になる
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 * シス管的には 後手 or 先手 の対策のどちらか？
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 # OS受講生側での対策
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 * 外部から攻撃されるのでVMのセキュリティはきっちりしましょう、と解説するスタンス
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 * セキュリティに関しては講義の一環なのでシス管は基本放置で異常検知からの対応のみ
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 * ただ、今回は学科ネットワークに影響が出た
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 # シス管として未然に防ぐ
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 * 攻撃は攻撃なので、未然に防ぐべき、というスタンス
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 * 例えば、OS受講者のVMは学内通信のみ、などkvm側で設定してしまう
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 * 講義的にセキュリティへの危機感ははあまり感じないかもしれない
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 # 読み物
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 * [Stricter Haskell](http://d.hatena.ne.jp/mkotha/20110509/1304947182)
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 * [Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何](http://togetter.com/li/634200)
2184b4fd34f2 Add slide for seminar
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 * [定理証明系 Haskell](http://konn-san.com/prog/2013-advent-calendar.html)