@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00006123, author = {宮永, 瑞紀}, month = {Mar}, title = {VMセキュアプロセッサの構成法}, year = {2015} }