@phdthesis{oai:nagoya.repo.nii.ac.jp:00016831,
 author = {Mano, Ken and 真野, 健},
 month = {Oct},
 school = {名古屋大学, Nagoya University},
 title = {Formal Specification and Verification of Anonymity and Privacy},
 year = {2013}
}