@article{oai:ipsj.ixsq.nii.ac.jp:00060939,
 author = {萩谷, 昌己 and Masami, HAGIYA},
 issue = {5},
 journal = {情報処理},
 month = {May},
 note = {近年世界的に研究が活性化している，フォーマルメソッドと暗号理論との境界領域について解説する．},
 pages = {537--543},
 title = {フォーマルメソッドの新潮流 : Part III: 新領域の開拓 : 7.フォーマルメソッドによる暗号安全性},
 volume = {49},
 year = {2008}
}