高水準なセキュリティポリシー記述言語とその処理系に関する研究
| Project/Area Number |
12J02549
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Computer system/Network
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
忠鉢 忠鉢 (2013) 筑波大学, システム情報工学研究科, 特別研究員(DC2)
忠鉢 洋輔 (2012) 筑波大学, システム情報工学研究科, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2012 – 2013
|
| Project Status |
Completed (Fiscal Year 2013)
|
| Budget Amount *help |
¥1,800,000 (Direct Cost: ¥1,800,000)
Fiscal Year 2013: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2012: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | セキュリティポリシー / アクセス制御 / 情報セキュリティ / オペレーティングシステム / セキュリティ |
|---|
| Research Abstract |
平成25年度前半ではまず、プロトタイプ実装におけるいくつかの実装上の問題点を洗い出し、ソフトウェアを再設計し、実装の完成度を高めた。つづけて、本研究の独創的な点の一つである、GUI (Graphical User Interface)環境に対し提案手法の適用を試みた。一般的に、GUI環境の操作のいくつかは、OSからアクセス制御をおこなうことは困難であるが、提案手法により、ほぼ情報追跡と情報漏洩の阻止ができることを確認した。しかし、ウィンドウシステムのサポートするカットアンドペーストのようなアプリケーションレベルのバッファ操作など、いくつかの場合において、情報追跡が途切れてしまうことが明らかになった。今後は、これらの場合にも対応できるように提案手法を拡張し、ウィンドウシステムと協調したセキュリティポリシー記述言語とその処理系として発展させていく予定である。また、これらの研究と平行し、提案手法のようなOSカーネルでおこなうアクセス制御が悪意のあるプログラムなどに無効にされないよう、OSの完全性を担保するハイパーバイザに関する研究成果をまとめ、情報処理学会論文誌に投稿し採録された。
|
| Strategy for Future Research Activity |
(抄録なし)
|
Report
(2 results)
Research Products
(3 results)
