Mercurial > hg > Members > atton > generated_seminar_slides
view slides/20140225/slide.html @ 138:ae4746c201f9 default tip
auto-Update generated slides by script
author | atton <atton@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 17 Jan 2017 17:18:05 +0900 |
parents | d4e4ecc1c347 |
children |
line wrap: on
line source
<!DOCTYPE html> <html> <head> <meta http-equiv="content-type" content="text/html;charset=utf-8"> <title>証明によるプログラムの信頼性の向上(仮)</title> <meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14]"> <meta name="author" content="Yasutaka Higa" > <!-- style sheet links --> <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection"> <link rel="stylesheet" href="s6/themes/screen.css" media="screen"> <link rel="stylesheet" href="s6/themes/print.css" media="print"> <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection"> <!-- JS --> <script src="s6/js/jquery-1.11.3.min.js"></script> <script src="s6/js/jquery.slideshow.js"></script> <script src="s6/js/jquery.slideshow.counter.js"></script> <script src="s6/js/jquery.slideshow.controls.js"></script> <script src="s6/js/jquery.slideshow.footer.js"></script> <script src="s6/js/jquery.slideshow.autoplay.js"></script> <!-- prettify --> <link rel="stylesheet" href="scripts/prettify.css"> <script src="scripts/prettify.js"></script> <script> $(document).ready( function() { Slideshow.init(); $('code').each(function(_, el) { if (!el.classList.contains('noprettyprint')) { el.classList.add('prettyprint'); el.style.display = 'block'; } }); prettyPrint(); } ); </script> <!-- Better Browser Banner for Microsoft Internet Explorer (IE) --> <!--[if IE]> <script src="s6/js/jquery.microsoft.js"></script> <![endif]--> </head> <body> <div class="layout"> <div id="header"></div> <div id="footer"> <div align="right"> <img src="s6/images/logo.svg" width="200px"> </div> </div> </div> <div class="presentation"> <div class='slide cover'> <table width="90%" height="90%" border="0" align="center"> <tr> <td> <div align="center"> <h1><font color="#808db5">証明によるプログラムの信頼性の向上(仮)</font></h1> </div> </td> </tr> <tr> <td> <div align="left"> Yasutaka Higa - profile not found - <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;"> </div> </td> </tr> </table> </div> <div class='slide '> <!-- === begin markdown block === generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin14] on 2016-03-29 18:58:01 +0900 with Markdown engine kramdown (1.9.0) using options {} --> <!-- _S9SLIDE_ --> <h1 id="section">研究目的(仮)</h1> <ul> <li>証明によるプログラムの信頼性の向上を目指す。</li> <li>信頼性とは、プログラムがプログラマの予期しない動作をしないことである。</li> <li>目標の例としては、現在は実行時にしか検出できないエラーなどを実行以前に検出することがある。</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="section-1">近況報告</h1> <ul> <li>運転手 for 坂井さん</li> <li>nkさんからGGJ のフィードバックが来ていたので wiki に反映</li> <li>OSの講義VMが攻撃を受けて学科ネットワークに影響</li> <li>いくつかの読み物</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="vm-">VM が攻撃を受けた話</h1> <ul> <li>kvm で起動していた受講生のVMが攻撃を受けた</li> <li>vagrant で作成したイメージを kvm で起動しっぱなしだった</li> <li>ネットワークはグローバルIPを使っていた</li> <li>セキュリティが甘い状態で攻撃を受けてしまい、学科ネットワークに影響が出た</li> <li>現在は当該VMは shut off</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="os">OSの講義と攻撃対策</h1> <ul> <li>今回は攻撃によるネットワーク異常が検出された</li> <li>シス管としてOSのVMの今後の攻撃対策をどうするのかと考えた時</li> <li>OSの講義のポリシが気になる</li> <li>シス管的には 後手 or 先手 の対策のどちらか?</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="os-1">OS受講生側での対策</h1> <ul> <li>外部から攻撃されるのでVMのセキュリティはきっちりしましょう、と解説するスタンス</li> <li>セキュリティに関しては講義の一環なのでシス管は基本放置で異常検知からの対応のみ</li> <li>ただ、今回は学科ネットワークに影響が出た</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="section-2">シス管として未然に防ぐ</h1> <ul> <li>攻撃は攻撃なので、未然に防ぐべき、というスタンス</li> <li>例えば、OS受講者のVMは学内通信のみ、などkvm側で設定してしまう</li> <li>講義的にセキュリティへの危機感ははあまり感じないかもしれない</li> </ul> </div> <div class='slide '> <!-- _S9SLIDE_ --> <h1 id="section-3">読み物</h1> <ul> <li><a href="http://d.hatena.ne.jp/mkotha/20110509/1304947182">Stricter Haskell</a></li> <li><a href="http://togetter.com/li/634200">Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何</a></li> <li><a href="http://konn-san.com/prog/2013-advent-calendar.html">定理証明系 Haskell</a></li> </ul> <!-- === end markdown block === --> </div> </div><!-- presentation --> </body> </html>