Publication: Publication Date: 2021/10/01 Vol. E104-DNo. 10pp. 1533-1543 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: ProVerif, IEEE 802.21, HEMS, group key management,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2007/05/01 Vol. E90-ANo. 5pp. 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,