@misc{oai:sucra.repo.nii.ac.jp:00018720,
 author = {閻, 靖晨},
 month = {},
 note = {学位記号番号 : 博理工甲第1129号, 博士の専攻分野の名称 : 博士(学術)
学位授与年月日 : 平成31年3月20日, text, application/pdf},
 title = {Improving Formal Analysis Method with Reasoning for Cryptographic Protocols},
 year = {2019},
 yomi = {エン, セイシン}
}