第2回 セキュリティ至上主義からセキュリティ市場主義へ 櫻庭 健年 日立製作所 システム開発研究所 Linuxテクノロジ研究部 主任研究員 2007/7/11 歴史的な経緯からセキュアOSは複雑な出自をもっています。第1回で紹介した「至上主義派」と「カジュアル派」という二つの流派、今回はセキュリティ至上主義派の考え方と歴史を基に、その来し方行く末を考えてみたいと思います（編集部） セキュリティ至上主義派の思想の根本は、セキュリティの保証の追求にあると考えられます。今回はセキュリティ至上主義の歴史をひもとくことで、セキュアOSの成り立ち、そしてなぜ思想がぶつかり合うのかを紹介していきたいと思います。 何を守るためのセキュリティなのか？ セキュリティは、守るものの価値によって、かける手間やお金、適用する手段が違ってきます。セキュリティで守るべき最も価値のあるものとは何でしょうか。 歴史的に見て
第2回 セキュリティ至上主義からセキュリティ市場主義へ 櫻庭 健年 日立製作所 システム開発研究所 Linuxテクノロジ研究部 主任研究員 2007/7/11 セキュリティの証明に向けた取り組み 米国では、OSのセキュリティの証明を実行しようとしてきました。そのために、1970年代から80年代にかけて、証明可能なOS（Provably Secure OS）、すなわち、証明できるようにOSのアーキテクチャと仕様を設計する、という研究が行われました。 これを踏まえて、TCSEC（1983、1985）のA1レベルの認証では、ラベル制御や強制アクセス制御（MAC）といった機能の実装とともに、それらの設計に欠陥がないことを数学的に証明することを求めています。 TCSECが世に出たころに政府主導でA1レベル汎用OSを目指して開発されたLOCK（Logical Coprocessing Kernel）で
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
