Skip to main content
  • Conference proceedings
  • © 2015

Security Standardisation Research

Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9497)

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): SSR: International Conference on Research in Security Standardisation

Conference proceedings info: SSR 2015.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 papers)

  1. Front Matter

    Pages I-X
  2. Bitcoin and Payment

    1. Front Matter

      Pages 1-1
    2. Authenticated Key Exchange over Bitcoin

      • Patrick McCorry, Siamak F. Shahandashti, Dylan Clarke, Feng Hao
      Pages 3-20
    3. Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment

      • Maryam Mehrnezhad, Feng Hao, Siamak F. Shahandashti
      Pages 21-39
  3. Protocol and API

    1. Front Matter

      Pages 41-41
    2. Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures

      • Jung Yeon Hwang, Seung-Hyun Kim, Daeseon Choi, Seung-Hun Jin, Boyeon Song
      Pages 43-69
    3. Non-repudiation Services for the MMS Protocol of IEC 61850

      • Karl Christoph Ruland, Jochen Sassmannshausen
      Pages 70-85
    4. Analysis of the PKCS#11 API Using the Maude-NPA Tool

      • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
      Pages 86-106
  4. Analysis on Cryptographic Algorithm

    1. Front Matter

      Pages 107-107
    2. How to Manipulate Curve Standards: A White Paper for the Black Hat http://bada55.cr.yp.to

      • Daniel J. Bernstein, Tung Chou, Chitchanok Chuengsatiansup, Andreas Hülsing, Eran Lambooij, Tanja Lange et al.
      Pages 109-139
    3. Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks

      • Zhenfeng Zhang, Kang Yang, Jiang Zhang, Cheng Chen
      Pages 140-153
    4. Side Channel Cryptanalysis of Streebog

      • Gautham Sekar
      Pages 154-162
  5. Privacy

    1. Front Matter

      Pages 163-163
    2. Improving Air Interface User Privacy in Mobile Telephony

      • Mohammed Shafiul Alam Khan, Chris J. Mitchell
      Pages 165-184
    3. Generating Unlinkable IPv6 Addresses

      • Mwawi Nyirenda Kayuni, Mohammed Shafiul Alam Khan, Wanpeng Li, Chris J. Mitchell, Po-Wah Yau
      Pages 185-199
  6. Trust and Formal Analysis

    1. Front Matter

      Pages 201-201
    2. A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks

      • Masatoshi Hokino, Yuri Fujiki, Sakura Onda, Takeaki Kaneko, Natsuhiko Sakimura, Hiroyuki Sato
      Pages 203-217
    3. First Results of a Formal Analysis of the Network Time Security Specification

      • Kristof Teichel, Dieter Sibold, Stefan Milius
      Pages 218-245
    4. Formal Support for Standardizing Protocols with State

      • Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
      Pages 246-265
  7. Back Matter

    Pages 267-267

Other Volumes

  1. Security Standardisation Research

About this book

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. 

Editors and Affiliations

  • Hewlett Packard Laboratories, Bristol, United Kingdom

    Liqun Chen

  • NICT, Tokyo, Japan

    Shin'ichiro Matsuo

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access