強制アクセス制御機構「sHype」とは?

VM間の情報流制御サーバ統合という言葉が頻繁に聞かれるようになっているが、最近では仮想マシン(VM:Virtual Machine)を用いたサーバ統合が増えてきている。サーバ統合を行うと、これまで多くのマシンで運用されていたサービスを少ない台数のマシンで運用で きるようになる。その際にVMを用いる

光来 健一

2008年1月16日 20:00

VM間の情報流制御

サーバ統合という言葉が頻繁に聞かれるようになっているが、最近では仮想マシン(VM:Virtual Machine)を用いたサーバ統合が増えてきている。サーバ統合を行うと、これまで多くのマシンで運用されていたサービスを少ない台数のマシンで運用で きるようになる。その際にVMを用いることで、統合前のマシンの環境をOSを含めてそのまま移行することができ、統合の手間を減らすことができる。

さらに、もともと別々のマシンで動いていた各サービスを隔離された実行環境で動かすことができるため、従来のセキュリティを維持しやすい。この ような分離によるセキュリティは「仮想マシンモニタ」と呼ばれるソフトウェアによって実現されている。仮想マシンモニタは従来のOSのような基盤となるソ フトウェアである。

仮想マシンモニタはディスクやネットワークなどの物理資源を仮想化し、各VMに仮想資源として提供する。各VMは仮想資源を使うことでお互いに完全に分離され、あたかも1台の物理マシンであるかのように動作することができる。

しかし、複数のVMが1つの物理マシン上で動いている以上、仮想マシンモニタのバグや設計ミスによりVM間で情報流(情報の流れ)が発生し、情 報が漏洩してしまう危険性がある。明示的な通信が行われなくとも、Covert Channelと呼ばれる経路を使って情報流が発生してしまうこともある。例えば、ディスクのレスポンスタイムなどを監視することで情報を得ることができ る場合がある。

図1:仮想マシン間で発生する情報流
図1:仮想マシン間で発生する情報流

また、従来の仮想マシンモニタはVM間での仮想資源の共有をきめ細かく制御できていない。例えば、データベースが動いているVMにはWebサー バが動いているVMからのみ仮想ネットワークによる通信を許可するほうが安全であろう。従来のようにすべてのVMからの通信を許すと、データベースからの 顧客情報の漏洩の危険性が高くなる。

強制アクセス制御機構「sHype」

複数のVMを同一マシン上で動かす際のセキュリティを向上させるために、「sHype」と呼ばれる仮想マシンモニタのためのセキュリティアーキテクチャが提案されている。sHypeはIBM社で研究開発され、その一部が「強制アクセス制御機構」としてXenに統合されている。

sHypeはリファレンスモニタと呼ばれるセキュリティアーキテクチャを採用している。リファレンスモニタはすべてのデータへのアクセスを制御 するためのものだ。仮想マシンモニタは、「すべての仮想資源に関する操作を調停可能」「リファレンスモニタ自身を改ざんから守ることが可能」「リファレン スモニタの実装の正しさを検証しやすい」という3つの観点からリファレンスモニタを実装するのに最適な場所であるといえる。

仮想マシンモニタはディスクなどの物理資源を仮想化してVMに提供しているため、VMから仮想資源へのアクセスを完全に制御することができる。VM間で共有する資源を制御することで、VM間の情報流を制御することができる。

リファレンスモニタを仮想マシンモニタ内に置くことで、ハードウェアによる保護を利用してVMからの攻撃を防ぐことができる。また、仮想マシンモニタ自体はOSなどに比べると小さく単純なソフトウェアなので、リファレンスモニタも単純なものにすることができる。

人気記事トップ10

人気記事ランキングをもっと見る

企画広告も役立つ情報バッチリ! Sponsored

ClickHouse Cloudが実現した広告運用SaaS「ATOM」のデータ基盤革新、パフォーマンスを向上しながら、運用負荷とコストを削減 11月11日 6:20 AIで開発が加速する時代、品質保証はどう変わる? Tricentisが示すAIエージェント活用の実像 11月9日 6:45 悪用までの猶予が「1分」に迫るフロンティアAI時代に開発と本番を貫く脆弱性管理が必要 10月29日 8:30 欧州CRA対応とSBOM運用。AI生成コードのOSS混入問題の対策とは ――スニペット単位で検出する「FossID」「Insignary Clarity」によるSBOM運用 9月16日 6:40 PostgreSQLからTiDBへ、稼働中SaaSで進める段階的DB移行の実践と再設計への展望 9月7日 6:30 機能安全開発におけるGoogleTestの活用を支援!「Parasoft C/C++test CT」で実現する効率化&AI連携 4月14日 6:30 【CNDW2025】Grafanaが明かす「オブザーバビリティの哲学」ー最小限の労力で実用的なインサイトを得るには 1月23日 6:30 【CNDW2025】プロダクト急増に備える基盤刷新 ーウェルスナビがECSからEKSへの移行で得た知見とは 1月15日 6:30 【CNDW2025】250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 2025年12月18日 6:30 新たな自動化で熱視線! AIエージェントの「推論能力」を支える2つのコンポーネントとは? 2025年11月28日 6:30