Primitive Constituent Elements of Cryptographic Protocols. - Sho Ishibashi; Jingchen Yan; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. - Jingchen Yan; Sho Ishibashi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)