EAL6+を取得したOS

みなさま

NTTデータの伊藤と申します。

昨晩は貴重な報告を聞かせていただき、どうもありがとうございました。
今後ともよろしくお願いいたします。

ところで、須崎さんが紹介されていた seL4 の話の中で、
EAL6をとったものはないのではないか？という話が出たかと思います。

米国の GreenHills Software という会社 (http://www.ghs.com/)の
Integrity という組み込み向けの OSが EAL6+ を取得しているようです。

# すいません、EAL6+ の "+" の意味はちゃんと理解していません...

ちなみに、適用事例の一つとして、米国で開発中の戦闘機の F35 に
使われているようですね。

また、下位層を切り出してハイパーバイザとして動作させることも
できるようです。

 http://www.ghs.com/products/rtos/integrity_virtualization.html

ご参考まで。

• -

Masanori ITOH R&D Headquarter, NTT DATA CORPORATION

              e-mail: itoumsn@n...

酒井です。EAL6＋とはすごいですね。
2008年11月にEAL6+を取った製品があったのですね。
僕の情報が古いようで済みませんでした。

思い込みで、コードサイズが小さいハイパーバイザが先かなと思っていたのですが
組込みOSが先陣を切っているのですね。
Wind RiverもEAL6＋の認証プロセスに入っているようですね。
http://blogs.windriver.com/parkinson/2009/04/vxworks-mils-eal6-evaluation.html

EAL6+ということは、EAL6に加えて一部EAL7の要件を満たしているということですね。
時間があったら詳細を調べてみよう...

以上

酒井

Masanori ITOH <itoumsn@n...> wrote:

みなさま

NTTデータの伊藤と申します。

昨晩は貴重な報告を聞かせていただき、どうもありがとうございました。 今後ともよろしくお願いいたします。

ところで、須崎さんが紹介されていた seL4 の話の中で、 EAL6をとったものはないのではないか？という話が出たかと思います。

米国の GreenHills Software という会社 (http://www.ghs.com/)の Integrity という組み込み向けの OSが EAL6+ を取得しているようです。

ちなみに、適用事例の一つとして、米国で開発中の戦闘機の F35 に 使われているようですね。

また、下位層を切り出してハイパーバイザとして動作させることも できるようです。

http://www.ghs.com/products/rtos/integrity_virtualization.html

ご参考まで。

• -

Masanori ITOH R&D Headquarter, NTT DATA CORPORATION e-mail: itoumsn@n...

• -

archive-> http://qwik.atdot.net/vimpl/83.html ML-> vimpl@q...

伊藤さま、皆さま、

昨日は長時間お疲れさまでした。
EALの情報ですが、Wikipedia に色々ありました。EAL6 は伊藤さんの紹介され
た GreenHills のみです。

 http://en.wikipedia.org/wiki/Evaluation_Assurance_Level

昨日議論したように EAL4は沢山あります。EAL5は酒井さんが指摘されたように
IBMのハイバーバイザーですね。

EAL4: Methodically Designed, Tested, and Reviewed

 AIX, HP-UX, FreeBSD, Novell NetWare, Solaris, SUSE Linux Enterprise
 Server 9, SUSE Linux Enterprise Server 10, Red Hat Enterprise Linux 5,
 Windows 2000 Service Pack 3, Windows 2003, Windows XP.
 Trusted Solaris, Solaris 10 Release 11/06 Trusted Extensions, an
 early version of the XTS-400, and VMware ESX version 3.0.2.

EAL5: Semiformally Designed and Tested

 LPAR on IBM System z

90年代のデータですがEAL4を取るのには 1M$-2.5M$ かかっているそうです。
EALの難易度にもよりますが、seL4 の EAL6 が 6M$ なので、金額だけ考えると
それほど高くないような。それよりできる人を集めるのが大変そう。

国内では Miracle Linux が Asianux Server 3 で EAL4 を取っていますね。

 http://www.miraclelinux.com/products/m_plus/mlb/function.html

＋は要求以上を満たした場合にベンダーが付けるようです。

---

suzaki

>>From: Masanori ITOH <itoumsn@n...>
>>Subject: [vimpl:140] EAL6+を取得したOS
>>
>>みなさま
>>
>>NTTデータの伊藤と申します。
>>
>>昨晩は貴重な報告を聞かせていただき、どうもありがとうございました。
>>今後ともよろしくお願いいたします。
>>
>>ところで、須崎さんが紹介されていた seL4 の話の中で、
>>EAL6をとったものはないのではないか？という話が出たかと思います。
>>
>>米国の GreenHills Software という会社 (http://www.ghs.com/)の
>>Integrity という組み込み向けの OSが EAL6+ を取得しているようです。
>>
>> # すいません、EAL6+ の "+" の意味はちゃんと理解していません...
>>
>>ちなみに、適用事例の一つとして、米国で開発中の戦闘機の F35 に
>>使われているようですね。
>>
>>また、下位層を切り出してハイパーバイザとして動作させることも
>>できるようです。
>>
>>  http://www.ghs.com/products/rtos/integrity_virtualization.html
>>
>>ご参考まで。
>>
>>---
>>Masanori ITOH  R&D Headquarter, NTT DATA CORPORATION
>>               e-mail: itoumsn@n...
>>
>>-- 
>>archive-> http://qwik.atdot.net/vimpl/83.html 
>>ML-> vimpl@q...
>>

IBM宗藤です、

EAL6+はすごいですね。
これは、組み込みPowerPC用ハイパーバイザかな。

SecurityTarget
http://www.commoncriteriaportal.org/files/epfiles/st_vid10119-st.pdf

ベースのProtectionProfileはSeparation Kernels PPでEAL6もしくは7相当です。
http://www.niap-ccevs.org/pp/pp_skpp_hr_v1.03/

このSTは読みにくいので、PPを見る方が楽かもしれません。

designcon09でのチャート
http://www.power.org/events/designcon09/DesignCon_2009_GHS_Virtualization_Jack_Greenbaum.pdf

regards,

• -

Seiji Munetoh
mailto:munetoh@j...
IBM Research, Tokyo Research Laboratory, IBM Japan Ltd.

                                                                          
            Atsushi SAKAI                                                 
            <sakaia@j...                                             
            u.com>                                                     To 
                                      vimpl@q...                
            2009/11/06 10:31                                           cc 
                                                                          
                                                                  Subject 
            Please respond to         [vimpl:141] Re: EAL6+を取得したOS   
            vimpl@q....                                             
                   net                                                    
                                                                          
                                                                          
                                                                          
                                                                          

酒井です。EAL6＋とはすごいですね。
2008年11月にEAL6+を取った製品があったのですね。
僕の情報が古いようで済みませんでした。

思い込みで、コードサイズが小さいハイパーバイザが先かなと思っていたのですが
組込みOSが先陣を切っているのですね。
Wind RiverもEAL6＋の認証プロセスに入っているようですね。
http://blogs.windriver.com/parkinson/2009/04/vxworks-mils-eal6-evaluation.html

EAL6+ということは、EAL6に加えて一部EAL7の要件を満たしているということです
ね。
時間があったら詳細を調べてみよう...

以上

酒井

Masanori ITOH <itoumsn@n...> wrote:

みなさま

NTTデータの伊藤と申します。

昨晩は貴重な報告を聞かせていただき、どうもありがとうございました。 今後ともよろしくお願いいたします。

ところで、須崎さんが紹介されていた seL4 の話の中で、 EAL6をとったものはないのではないか？という話が出たかと思います。

米国の GreenHills Software という会社 (http://www.ghs.com/)の Integrity という組み込み向けの OSが EAL6+ を取得しているようです。

ちなみに、適用事例の一つとして、米国で開発中の戦闘機の F35 に 使われているようですね。

また、下位層を切り出してハイパーバイザとして動作させることも できるようです。

http://www.ghs.com/products/rtos/integrity_virtualization.html

ご参考まで。

• -

Masanori ITOH R&D Headquarter, NTT DATA CORPORATION e-mail: itoumsn@n...

• -

archive-> http://qwik.atdot.net/vimpl/83.html ML-> vimpl@q...

• -

archive-> http://qwik.atdot.net/vimpl/83.html
ML-> vimpl@q...