Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng. A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. In Guojun Wang, Qi Han, Md. Zakirul Alam Bhuiyan, Xiaoxing Ma, Frédéric Loulergue, Peng Li 0017, Manuel Roveri, Lei Chen 0029, editors, 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018. pages 210-215, IEEE, 2018. [doi]
Abstract is missing.