@techreport{weko_186346_1, author = "四方,順司 and 打越,忠宏 and 海老名,将宏 and 佐藤,慎悟 and 増田,洋一 and 海上,勇二 and 高添,智樹", title = "HEMSにおける機器認証プロトコルの安全性証明(その2)", year = "2018", institution = "横浜国立大学大学院環境情報研究院, 横浜国立大学先端科学高等研究院, 横浜国立大学大学院環境情報学府, 横浜国立大学大学院環境情報学府, 横浜国立大学大学院環境情報学府, パナソニック株式会社, パナソニック株式会社, パナソニック株式会社", number = "7", month = "feb" }