@phdthesis{oai:kutarr.kochi-tech.ac.jp:00000548,
 author = {LAMILLA, ALVAREZ Pablo},
 month = {Mar},
 note = {高知工科大学, 博士論文.},
 school = {高知工科大学},
 title = {Verification Model and Approximation-Based Implementation of Information-Based Access Control},
 year = {2014}
}