Yoshikazu HANATANI

Verification of Group Key Management of IEEE 802.21 Using ProVerif
Ryoga NOGUCHI Yoshikazu HANATANI Kazuki YONEYAMA 
Publication:   
Publication Date: 2021/10/01
Vol. E104-D  No. 10  pp. 1533-1543
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
ProVerif, IEEE 802.21, HEMS, group key management, 
 Summary | Full Text:PDF(727.5KB)
Provably Secure Untraceable Electronic Cash against Insider Attacks
Yoshikazu HANATANI Yuichi KOMANO Kazuo OHTA Noboru KUNIHIRO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/05/01
Vol. E90-A  No. 5  pp. 980-991
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
blind multisignature, electronic cash, provable security, random oracle model, insider attacks, 
 Summary | Full Text:PDF(279.5KB)