seccamp2013
の編集
http://osecpu.osask.jp/wiki/?seccamp2013
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
BracketName
FormattingRules
FrontPage
Fulyn
Fulyn-v2
Fulyn_Samples
Help
InterWiki
InterWikiName
InterWikiSandBox
K
KOR_PIT8254
KWVM.NET
Liva
MANA
MenuBar
OSECPU_FPGA
PG_MANA
PHP
PukiWiki
PukiWiki/1.4
PukiWiki/1.4/Manual
PukiWiki/1.4/Manual/Plugin
PukiWiki/1.4/Manual/Plugin/A-D
PukiWiki/1.4/Manual/Plugin/E-G
PukiWiki/1.4/Manual/Plugin/H-K
PukiWiki/1.4/Manual/Plugin/L-N
PukiWiki/1.4/Manual/Plugin/O-R
PukiWiki/1.4/Manual/Plugin/S-U
PukiWiki/1.4/Manual/Plugin/V-Z
RecentDeleted
SandBox
WikiEngines
WikiName
WikiWikiWeb
YukiWiki
hikalium
hikarupsp
hikarupsp_ELCHNOS
hikarupsp_ELCHNOS_IDE
hikarupsp_FrontEndCode
hikarupsp_WebCPU-VM
hikarupsp_WebCPU-VM_internal
hikarupsp_study_hh4
impressions
impressions0000
jpag0000
jpag0001
jpag0002
jpag0003
jpag0004
jpag0005
lambdalice
mandel59
members
memo0000
memo0001
memo0002
memo0003
memo0004
memo0005
memo0006
memo0007
memo0008
memo0009
memo0010
osask
osecpu4android
page0000
page0001
page0002
page0003
page0004
page0005
page0006
page0007
page0008
page0009
page0010
page0011
page0012
page0013
page0014
page0015
page0016
page0017
page0018
page0019
page0020
page0021
page0022
page0023
page0024
page0025
page0026
page0027
page0028
page0029
page0030
page0031
page0032
page0033
page0034
page0035
page0036
page0037
page0038
page0039
page0040
page0041
page0042
page0043
page0044
page0045
page0046
page0047
page0048
page0049
page0050
page0051
page0052
page0053
page0054
page0055
page0056
page0057
page0058
page0059
page0060
page0061
page0062
page0063
page0064
page0065
page0066
page0067
page0068
page0069
page0070
page0071
page0072
page0073
page0074
page0075
page0076
page0077
page0078
page0079
page0080
page0081
page0082
page0083
page0084
page0085
page0086
page0087
page0088
page0089
page0090
page0091
page0092
page0093
page0094
page0095
page0096
page0097
page0098
page0099
page0100
page0101
page0102
page0103
page0104
page0105
page0106
page0107
page0108
page0109
pagenames
populars
seccamp2013
seccamp2014
seccamp2017
ttwilb
ttwilb-asmi
yao
* セキュリティキャンプ2013特設ページ -(by [[K]], 2013.05.29) ** (1) セキュリティキャンプとは? -http://www.ipa.go.jp/jinzai/renkei/camp2013/ -22歳以下の学生・生徒を対象にした、セキュリティに関する講習を4泊5日の合宿で行うものです。 --2013.08.13 - 2013.08.17 -「キャンプ」とついてはいるものの、キャンプファイヤー的なものは一切ありません。会社見学会以外はすべて屋内です。 -自宅からの会場までの交通費、5日間の宿泊費、教材費などは、すべて主催者側が負担しますので、学生側の負担はありません。 -[[K]](川合秀実)もこのキャンプの講師をしています。僕のクラスに限らず、どのクラスでも構いませんので、もし興味があれば応募してみてください。 --応募の締め切りは2013年6月10日(月)17:00です。間に合わないと受理されないので、通信事情のリスクも勘案して、念のために1時間前には出すようにしてください。 ** (2) Kの受け持つゼミについて -(OSECPU-wikiのURLは下記の詳細PDFにも書いてあるので、ここに追加情報を書いても応募者への不公平にはならないと思って書いています。) -[[K]]は「セキュアなシステムを作ろうクラス」の中で、「セキュアなOSを作ろうゼミ」を担当しています。 -このゼミでは、OSECPUをメインで扱います(OSECPU以外でもOKです)。ゼミについて紹介しておこうと思います。 -詳細はこちらに: http://www.ipa.go.jp/jinzai/renkei/camp2013/lecture/file/system.pdf -まず基本の最低ラインを明確にしておこうと思います。 --一番大事なのは「やる気」です。OSECPUへの(もしくは他のセキュアなOSへの)強い興味が必要です。 --あとは多少のプログラミングスキルです。とはいえ、そんなに多くを求めてはいません。OSECPUは現在C言語や機械語で書かれていますが、これらを理解できなくても問題はありません。HSPとかBASICとかJavaとかでちょっとゲームを作ったことがあるレベルで十分です。 --それでOSECPU用のゲームとかを作ってもらえばいいのです。その際には独自言語「OSECPU-ASKA」を覚える必要がありますが、それはていねいに指導します。ゲームなどを作る過程で、OSECPUのことがよくわかるはずですし、OSECPUに足りない機能もわかるはずです。みなさんからの要望に応じて、他のメンバーかもしくは僕がOSECPUを改造していきます。・・・そしてこの経験からセキュアなOSの自作というのものがどういうことか、きっと身に着くと思っています。 -もっと能力のある人は、きっとこんなカリキュラムでは満足できないでしょうから、もっと違うことをやります。安心してください。 ** (3) OSECPUにかかわるメリット -OSECPUなんかにかかわっても全然いいことはないと思うかもしれません。まあ現状ではマイナーな存在なので、そう思われても仕方ないところではあります。 -しかし、このプロジェクトはまだ始まったばかりで、2ヶ月ちょっとしかたっていません。メンバーも少ないです。「今なら」ちょっとしたことで成果になります。・・・何年も前から続いていて、たくさんの人かがかかわっているメジャーなプロジェクトだと、簡単にできそうなことはすべてやりつくされていて、なかなか成果を上げられませんし、成果を上げても他の著名人の陰に隠れてしまいがちです。 -キャンプの書類選考に落ちてしまったとしても、それでもOSECPUコミュニティに参加する価値は十分にあると[[K]]は思っているくらいです。キャンプに応募するつもりがあってもなくても、今すぐ、ダウンロードして遊んでみて、ちょっとした感想を[[impressions]]に書き込んでみませんか? ** (4) 特設 Q&A -[Q] セキュアなOSを作ろうゼミの募集人数って2人なんですよね? --[A] いえいえ、そんなことはありません!・・・なるほど、こう計算したんですね。キャンプ全体では約40名で4クラスあるから、セキュアなシステムを作ろうクラスはきっと10名だろうと。そしてこのクラスには5つのゼミがあるから、割り算して2名だろうと。それは計算問題としては正解かもしれませんが、事実はそうではないのです。 --もしこのゼミに多数の学生が応募してくれて(そうなったらもちろんうれしい)、しかも十分に良さそうな学生であれば、このゼミの定員(?)は増やされます。その分、人気の少ないゼミが減らされるかもしれません。もしくは他のクラスが減らされるかもしれません。どこも減らされないかもしれません。というのは、約40名ですから、41や42になる可能性だって十分にあるんじゃないかと思うのです。 --ちなみに2009年度は、約60名の募集人数に対して61名の参加者数になっていました。 --上記のPDFにも以下のようにはっきり書いてあります。ですから不安に思う必要はありません。 選べるゼミは一つだけで、第二希望などは取りません。その代わりよい学生が多く集まった ゼミは担当講師を増やしてたくさんの学生をとってもらいますので、迷わず希望する ゼミに応募してください。 --ということでまとめると、クラスごと、ゼミごとの定員なんてないのです! -[Q] あのう・・・たくさん書いてプレーンテキストでも20KBくらいになりそうなんですけど大丈夫ですか? --[A] おっと・・・でも大丈夫だと思います。まあ、読破するのに30分以上かかるようでしたら、要約を付けてください。 --ちなみに短くても、意気込みやスキルなどがちゃんと表現できていれば問題ありません。 --要するに量ではなく内容なので、無理に増やす必要も削る必要もない、と言いたいわけです。 -[Q] 具体的にどんなことをするんですか? --[A] 今考えているのはこんな感じです。 ---アプリを作ってみて、ここが不便だとか、ここにバグがあったとか、セキュリティホールがあったと報告してもらったら1点 ---おもしろいアプリを完成させてくれたらそのつど3点(今は日本の国旗を描く程度でもOKなレベルなので、これはぜんぜん難しくない) ---OSECPUの改良に成功したらそのつど5点(今はセキュリティ的に穴だらけなので、これはぜんぜん難しくない) ---講師やチュータに手伝ってもらった場合は割引 --これで誰が高得点になるか競争したら楽しいかなとか思っています。もちろん本当の成果は個人の点数ではなくて、ゼミ全体での、できたアプリや改良パッチやバグのリストなどですが。 ** (5) 合否を分けたものは何か? -[忠鉢先生より] セキュリティキャンプに参加が決まった皆さん,事前課題などバシバシ飛んでいくと思うので,気合いいれてついてきてくださいね.学業など,時間が取れないときは最初にそういうことを講師に伝えておくと,講師もスケジューリングしやすいですので.よろしく. --https://twitter.com/yuzuhara/status/347561719339560960 -[忠鉢先生より] セキュリティキャンプに参加できない通知をもらった皆さん,当たり前ですが,参加の可否は応募用紙の内容で決まります.来年こそは!という人は,是非,自分の書いた応募用紙を見直してみてください.自分の技術や熱意は伝えられたか,足りないとすればそれはどこか. --https://twitter.com/yuzuhara/status/347564968658489344 -[忠鉢先生より] 応募用紙の設問に対して,実際に手を動かして検証したり,深みのある考察があると,読んでいるこちらも「オッ」となります.あと「○○とかよく知りませんが勉強したいです」系はアウトなので,これは注意した方がいいかも. --https://twitter.com/yuzuhara/status/347565032118292481 -[根津先生より] 応募用紙の感想:「がんばります!」とか「キャンプで勉強します!」もアウトです。一年間、せめて応募用紙と格闘する間、手を動かして検証、考察をきちんとする人は魅力的に写ります。あと、学校の授業でしか実習してないのは手を動かしているとは言えません。 --https://twitter.com/kensukesan/status/347567409995059201 -川合より: --まず私の基本姿勢を説明します。私は可能なら応募してくれた人全員にキャンプに来てもらいたいです。しかしまあそんなわがままは許されないので、少しずつ条件を厳しくして(心の中で)「ごめんなさい」しました。 --(1) テーマ#02はOSECPUでは満足できない人向けのテーマでした。つまりテーマ#01よりも難しいテーマなのです。そんなわけで、テーマ#02を選択したのに、「今から勉強します」「頑張るので教えてください」という人を落としました。すみません! --(2) テーマ#01を選択した人については、この人はちゃんとこのWikiを見てくれたのかなーというところをチェックしました。それでやる気を推しはかろうと思ったわけです。もしかしたら見たけどそのことについては一切言及しなかった人もいたかもしれません。それについては・・・ごめんなさい! --この2つの選考をくぐり抜けた学生さんは結構少なくて、だからゆっくりじっくり選べました。ここより先は個別の事情もあるので明かせません。ただ私が今回この話を書いたのは、将来この(1)や(2)をパスする人がもっと増えたらいいなと思ったからです。 -[補足] 何人かの学生は、もしかしたら自分は力不足で落ちるかもしれない、でもその場合でも講義資料などをもらうことはできないか、と熱心に書いていました。それはとても立派な心がけだと思います。残念ながら講義資料を差し上げることはできないのですが、代わりに以下をお勧めしたいと思います。 --(a)「30日でできる!OS自作入門」 (古本がお勧めです、CD-ROMの状態の良いものを選んでください) --(b)このWiki (普通に[[impressions]]に感想を書いたりしていれば開発コミュニティに入れます、キャンプ生ではなくても) ** (6) 川合がセキュリティキャンプ用に作ったテキスト -私のテキストには秘匿すべき情報はないので、公開しようと思います。 --http://osecpu.osask.jp/download/kawai13b2.pdf --多少誤字がありますが、まあ言いたいことは分かってもらえるのではないかと・・・。 * こめんと欄 #comment
タイムスタンプを変更しない
* セキュリティキャンプ2013特設ページ -(by [[K]], 2013.05.29) ** (1) セキュリティキャンプとは? -http://www.ipa.go.jp/jinzai/renkei/camp2013/ -22歳以下の学生・生徒を対象にした、セキュリティに関する講習を4泊5日の合宿で行うものです。 --2013.08.13 - 2013.08.17 -「キャンプ」とついてはいるものの、キャンプファイヤー的なものは一切ありません。会社見学会以外はすべて屋内です。 -自宅からの会場までの交通費、5日間の宿泊費、教材費などは、すべて主催者側が負担しますので、学生側の負担はありません。 -[[K]](川合秀実)もこのキャンプの講師をしています。僕のクラスに限らず、どのクラスでも構いませんので、もし興味があれば応募してみてください。 --応募の締め切りは2013年6月10日(月)17:00です。間に合わないと受理されないので、通信事情のリスクも勘案して、念のために1時間前には出すようにしてください。 ** (2) Kの受け持つゼミについて -(OSECPU-wikiのURLは下記の詳細PDFにも書いてあるので、ここに追加情報を書いても応募者への不公平にはならないと思って書いています。) -[[K]]は「セキュアなシステムを作ろうクラス」の中で、「セキュアなOSを作ろうゼミ」を担当しています。 -このゼミでは、OSECPUをメインで扱います(OSECPU以外でもOKです)。ゼミについて紹介しておこうと思います。 -詳細はこちらに: http://www.ipa.go.jp/jinzai/renkei/camp2013/lecture/file/system.pdf -まず基本の最低ラインを明確にしておこうと思います。 --一番大事なのは「やる気」です。OSECPUへの(もしくは他のセキュアなOSへの)強い興味が必要です。 --あとは多少のプログラミングスキルです。とはいえ、そんなに多くを求めてはいません。OSECPUは現在C言語や機械語で書かれていますが、これらを理解できなくても問題はありません。HSPとかBASICとかJavaとかでちょっとゲームを作ったことがあるレベルで十分です。 --それでOSECPU用のゲームとかを作ってもらえばいいのです。その際には独自言語「OSECPU-ASKA」を覚える必要がありますが、それはていねいに指導します。ゲームなどを作る過程で、OSECPUのことがよくわかるはずですし、OSECPUに足りない機能もわかるはずです。みなさんからの要望に応じて、他のメンバーかもしくは僕がOSECPUを改造していきます。・・・そしてこの経験からセキュアなOSの自作というのものがどういうことか、きっと身に着くと思っています。 -もっと能力のある人は、きっとこんなカリキュラムでは満足できないでしょうから、もっと違うことをやります。安心してください。 ** (3) OSECPUにかかわるメリット -OSECPUなんかにかかわっても全然いいことはないと思うかもしれません。まあ現状ではマイナーな存在なので、そう思われても仕方ないところではあります。 -しかし、このプロジェクトはまだ始まったばかりで、2ヶ月ちょっとしかたっていません。メンバーも少ないです。「今なら」ちょっとしたことで成果になります。・・・何年も前から続いていて、たくさんの人かがかかわっているメジャーなプロジェクトだと、簡単にできそうなことはすべてやりつくされていて、なかなか成果を上げられませんし、成果を上げても他の著名人の陰に隠れてしまいがちです。 -キャンプの書類選考に落ちてしまったとしても、それでもOSECPUコミュニティに参加する価値は十分にあると[[K]]は思っているくらいです。キャンプに応募するつもりがあってもなくても、今すぐ、ダウンロードして遊んでみて、ちょっとした感想を[[impressions]]に書き込んでみませんか? ** (4) 特設 Q&A -[Q] セキュアなOSを作ろうゼミの募集人数って2人なんですよね? --[A] いえいえ、そんなことはありません!・・・なるほど、こう計算したんですね。キャンプ全体では約40名で4クラスあるから、セキュアなシステムを作ろうクラスはきっと10名だろうと。そしてこのクラスには5つのゼミがあるから、割り算して2名だろうと。それは計算問題としては正解かもしれませんが、事実はそうではないのです。 --もしこのゼミに多数の学生が応募してくれて(そうなったらもちろんうれしい)、しかも十分に良さそうな学生であれば、このゼミの定員(?)は増やされます。その分、人気の少ないゼミが減らされるかもしれません。もしくは他のクラスが減らされるかもしれません。どこも減らされないかもしれません。というのは、約40名ですから、41や42になる可能性だって十分にあるんじゃないかと思うのです。 --ちなみに2009年度は、約60名の募集人数に対して61名の参加者数になっていました。 --上記のPDFにも以下のようにはっきり書いてあります。ですから不安に思う必要はありません。 選べるゼミは一つだけで、第二希望などは取りません。その代わりよい学生が多く集まった ゼミは担当講師を増やしてたくさんの学生をとってもらいますので、迷わず希望する ゼミに応募してください。 --ということでまとめると、クラスごと、ゼミごとの定員なんてないのです! -[Q] あのう・・・たくさん書いてプレーンテキストでも20KBくらいになりそうなんですけど大丈夫ですか? --[A] おっと・・・でも大丈夫だと思います。まあ、読破するのに30分以上かかるようでしたら、要約を付けてください。 --ちなみに短くても、意気込みやスキルなどがちゃんと表現できていれば問題ありません。 --要するに量ではなく内容なので、無理に増やす必要も削る必要もない、と言いたいわけです。 -[Q] 具体的にどんなことをするんですか? --[A] 今考えているのはこんな感じです。 ---アプリを作ってみて、ここが不便だとか、ここにバグがあったとか、セキュリティホールがあったと報告してもらったら1点 ---おもしろいアプリを完成させてくれたらそのつど3点(今は日本の国旗を描く程度でもOKなレベルなので、これはぜんぜん難しくない) ---OSECPUの改良に成功したらそのつど5点(今はセキュリティ的に穴だらけなので、これはぜんぜん難しくない) ---講師やチュータに手伝ってもらった場合は割引 --これで誰が高得点になるか競争したら楽しいかなとか思っています。もちろん本当の成果は個人の点数ではなくて、ゼミ全体での、できたアプリや改良パッチやバグのリストなどですが。 ** (5) 合否を分けたものは何か? -[忠鉢先生より] セキュリティキャンプに参加が決まった皆さん,事前課題などバシバシ飛んでいくと思うので,気合いいれてついてきてくださいね.学業など,時間が取れないときは最初にそういうことを講師に伝えておくと,講師もスケジューリングしやすいですので.よろしく. --https://twitter.com/yuzuhara/status/347561719339560960 -[忠鉢先生より] セキュリティキャンプに参加できない通知をもらった皆さん,当たり前ですが,参加の可否は応募用紙の内容で決まります.来年こそは!という人は,是非,自分の書いた応募用紙を見直してみてください.自分の技術や熱意は伝えられたか,足りないとすればそれはどこか. --https://twitter.com/yuzuhara/status/347564968658489344 -[忠鉢先生より] 応募用紙の設問に対して,実際に手を動かして検証したり,深みのある考察があると,読んでいるこちらも「オッ」となります.あと「○○とかよく知りませんが勉強したいです」系はアウトなので,これは注意した方がいいかも. --https://twitter.com/yuzuhara/status/347565032118292481 -[根津先生より] 応募用紙の感想:「がんばります!」とか「キャンプで勉強します!」もアウトです。一年間、せめて応募用紙と格闘する間、手を動かして検証、考察をきちんとする人は魅力的に写ります。あと、学校の授業でしか実習してないのは手を動かしているとは言えません。 --https://twitter.com/kensukesan/status/347567409995059201 -川合より: --まず私の基本姿勢を説明します。私は可能なら応募してくれた人全員にキャンプに来てもらいたいです。しかしまあそんなわがままは許されないので、少しずつ条件を厳しくして(心の中で)「ごめんなさい」しました。 --(1) テーマ#02はOSECPUでは満足できない人向けのテーマでした。つまりテーマ#01よりも難しいテーマなのです。そんなわけで、テーマ#02を選択したのに、「今から勉強します」「頑張るので教えてください」という人を落としました。すみません! --(2) テーマ#01を選択した人については、この人はちゃんとこのWikiを見てくれたのかなーというところをチェックしました。それでやる気を推しはかろうと思ったわけです。もしかしたら見たけどそのことについては一切言及しなかった人もいたかもしれません。それについては・・・ごめんなさい! --この2つの選考をくぐり抜けた学生さんは結構少なくて、だからゆっくりじっくり選べました。ここより先は個別の事情もあるので明かせません。ただ私が今回この話を書いたのは、将来この(1)や(2)をパスする人がもっと増えたらいいなと思ったからです。 -[補足] 何人かの学生は、もしかしたら自分は力不足で落ちるかもしれない、でもその場合でも講義資料などをもらうことはできないか、と熱心に書いていました。それはとても立派な心がけだと思います。残念ながら講義資料を差し上げることはできないのですが、代わりに以下をお勧めしたいと思います。 --(a)「30日でできる!OS自作入門」 (古本がお勧めです、CD-ROMの状態の良いものを選んでください) --(b)このWiki (普通に[[impressions]]に感想を書いたりしていれば開発コミュニティに入れます、キャンプ生ではなくても) ** (6) 川合がセキュリティキャンプ用に作ったテキスト -私のテキストには秘匿すべき情報はないので、公開しようと思います。 --http://osecpu.osask.jp/download/kawai13b2.pdf --多少誤字がありますが、まあ言いたいことは分かってもらえるのではないかと・・・。 * こめんと欄 #comment
テキスト整形のルールを表示する