Security Standardisation Research

First International Conference, SSR 2014, London, UK, December 16-17, 2014. Proceedings

  • Liqun Chen
  • Chris Mitchell
Conference proceedings SSR 2014

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

Table of contents

  1. Front Matter
  2. Cryptographic Evaluation

    1. Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther, Giorgia Azzurra Marson et al.
      Pages 1-25
    2. Feng Hao, Siamak F. Shahandashti
      Pages 26-38
    3. Christopher W. Brown, Michael Jenkins
      Pages 39-56
  3. Standards Development

    1. Phillip H. Griffin
      Pages 57-68
    2. Duncan Garrett, Michael Ward
      Pages 79-92
  4. Analysis with Formal Methods

    1. Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe
      Pages 93-110
    2. Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer
      Pages 111-130
    3. Efstathios Stathakidis, Steve Schneider, James Heather
      Pages 131-150
  5. Potential Future Areas of Standardisation

    1. Alan A. Abdulla, Harin Sellahewa, Sabah A. Jassim
      Pages 151-166
    2. Mark Manulis, Douglas Stebila, Nick Denham
      Pages 167-189
    3. Nils Fleischhacker, Mark Manulis, Amir Azodi
      Pages 190-214
  6. Improving Existing Standards

  7. Back Matter

About these proceedings


This book constitutes the proceedings of the First International Conference on Security Standardisation Research, SSR 2014, which was held in London, UK, in December 2014. The 14 full papers presented in this volume were carefully reviewed and selected from 22 submissions. The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and improving existing standards.


biometrics cryptographic techniques cyber security industry-specific security standards information security network security privacy and identity management security analysis with formal methods security evaluation criteria security management security modules security standards smart cards and RFID tags standardisation research standardisation transparency standards development

Editors and affiliations

  • Liqun Chen
    • 1
  • Chris Mitchell
    • 2
  1. 1.HP LabsBristolUK
  2. 2.Information Security GroupUniversity of London, Royal HollowayEghamUK

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-14053-7
  • Online ISBN 978-3-319-14054-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment