@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00001840,
 author = {Kim, Daewung},
 month = {Mar},
 title = {Low-overhead security-tagged architecture},
 year = {2009}
}