@inproceedings{weko_150629_1, author = "望月,祐希 and 野口,健一郎", title = "B-044 安全な組込み用OSの試作 : セパレーションカーネルに基づくセキュリティ機能の検討(OS・ストレージ,B分野:ソフトウェア)", booktitle = "情報科学技術フォーラム講演論文集", year = "2011", volume = "10", number = "1", pages = "351--352", month = "sep" }