International Conference on Research in Security Standardisation

Security Standardisation Research

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

  • Liqun Chen
  • Shin'ichiro Matsuo

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

Also part of the Security and Cryptology book sub series (LNSC, volume 9497)

Table of contents

  1. Front Matter
    Pages I-X
  2. Bitcoin and Payment

    1. Front Matter
      Pages 1-1
    2. Patrick McCorry, Siamak F. Shahandashti, Dylan Clarke, Feng Hao
      Pages 3-20
    3. Maryam Mehrnezhad, Feng Hao, Siamak F. Shahandashti
      Pages 21-39
  3. Protocol and API

    1. Front Matter
      Pages 41-41
    2. Jung Yeon Hwang, Seung-Hyun Kim, Daeseon Choi, Seung-Hun Jin, Boyeon Song
      Pages 43-69
    3. Karl Christoph Ruland, Jochen Sassmannshausen
      Pages 70-85
    4. 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. Daniel J. Bernstein, Tung Chou, Chitchanok Chuengsatiansup, Andreas Hülsing, Eran Lambooij, Tanja Lange et al.
      Pages 109-139
    3. Zhenfeng Zhang, Kang Yang, Jiang Zhang, Cheng Chen
      Pages 140-153
    4. Gautham Sekar
      Pages 154-162
  5. Privacy

    1. Front Matter
      Pages 163-163
    2. Mohammed Shafiul Alam Khan, Chris J. Mitchell
      Pages 165-184
    3. 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. Masatoshi Hokino, Yuri Fujiki, Sakura Onda, Takeaki Kaneko, Natsuhiko Sakimura, Hiroyuki Sato
      Pages 203-217
    3. Kristof Teichel, Dieter Sibold, Stefan Milius
      Pages 218-245
    4. Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe
      Pages 246-265
  7. Back Matter
    Pages 267-267

About these proceedings

Introduction

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. 

Keywords

cryptography cyber security information security model checking standardization research authentication biometrics bitcoin cryptography and management elliptic-curve cryptography formal verification industry-specific security standards provable security security analysis with formal methods security evaluation criteria security modules security protocols security standards standards development user privacy

Editors and affiliations

  • Liqun Chen
    • 1
  • Shin'ichiro Matsuo
    • 2
  1. 1.Hewlett Packard LaboratoriesBristolUnited Kingdom
  2. 2.NICTTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-27152-1
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-27151-4
  • Online ISBN 978-3-319-27152-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book