@techreport{weko_94609_1,
   author	 = "金井遵 and 磯崎宏",
   title	 = "高速なOS切替え機構を有する組込み機器向けセキュアモニタLiSTEE<sup><i>TM</i></sup>",
   year 	 = "2013",
   institution	 = "(株)東芝研究開発センター, (株)東芝研究開発センター／慶應義塾大学",
   number	 = "19",
   month	 = "jul"
}