Protocol Verification by using LOTOS and Tools (part 1) <セキュリティ社会システム特論>※隔年開講 |
|||
■part 1 目次 ■必須提出課題
|
●先修推奨:コンピュータネットワーク(学部)、グラフ理論、状態機械論の先修が望まれます。演習に必要なツールキットの使用には、Linux入門、UNIX操作の基礎 程度のスキルが必要となります。 ●担当: 和崎 克己 ●演習時に必要なツールキット
※ツールキットのダウンロードとセットアップを行うためのLinuxOS環境(CentOS、Ubuntu など)ならびにインターネット接続環境が必要です。VirtualBox仮想マシン上で演習する場合には,VirtualBoxが動作するintelベースPCが必要です.
セキュリティ社会システム特論について,平成27年度以降はレポート提出など全てeALPS上で展開します.従前の「ReportSystem」は利用しないで下さい.
セキュリティ社会システム特論の授業実施について、平成28年度は不開講です(隔年開講).
ITコース開講科目「システム検証」としては,平成24年度以降,IT受講不可となりました.
|
||
wasaki _AT_ cs.shinshu-u.ac.jp |