Security Standardisation Research: Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings (Lecture Notes in Computer Science Book 9497)

This book constitutes the refereed proceedings of the Second International Conference on Security Standardisation Research, SSR 2015, held in Tokyo, Japan, in December 2015. The 13 papers presented in this volume were carefully reviewed and selected from 18 submissions. They are organized in topical sections named: bitcoin and payment; protocol and API; analysis on cryptographic algorithm; privacy; and trust and formal analysis. Front Matter....Pages I-X Front Matter....Pages 1-1 Authenticated Key Exchange over Bitcoin....Pages 3-20 Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment....Pages 21-39 Front Matter....Pages 41-41 Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures....Pages 43-69 Non-repudiation Services for the MMS Protocol of IEC 61850....Pages 70-85 Analysis of the PKCS#11 API Using the Maude-NPA Tool....Pages 86-106 Front Matter....Pages 107-107 How to Manipulate Curve Standards: A White Paper for the Black Hat http://bada55.cr.yp.to ....Pages 109-139 Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks....Pages 140-153 Side Channel Cryptanalysis of Streebog....Pages 154-162 Front Matter....Pages 163-163 Improving Air Interface User Privacy in Mobile Telephony....Pages 165-184 Generating Unlinkable IPv6 Addresses....Pages 185-199 Front Matter....Pages 201-201 A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks....Pages 203-217 First Results of a Formal Analysis of the Network Time Security Specification....Pages 218-245 Formal Support for Standardizing Protocols with State....Pages 246-265 Back Matter....Pages 267-267