Security Standardisation Research

1. Front Matter

   PDF

2. Cryptographic Evaluation

   1. Unpicking PLAID

      • Jean Paul Degabriele, Victoria Fehr, Marc Fischlin, Tommaso Gagliardoni, Felix Günther, Giorgia Azzurra Marson et al.

      Pages 1-25

   2. The SPEKE Protocol Revisited

      • Feng Hao, Siamak F. Shahandashti

      Pages 26-38

   3. Analyzing Proposals for Improving Authentication on the TLS/SSL-Protected Web

      • Christopher W. Brown, Michael Jenkins

      Pages 39-56

3. Standards Development

   1. Standardization Transparency

      • Phillip H. Griffin

      Pages 57-68

   2. Size-Efficient Digital Signatures with Appendix by Truncating Unnecessarily Long Hashcode

      • Jinwoo Lee, Pil Joong Lee

      Pages 69-78

   3. Blinded Diffie-Hellman

      • Duncan Garrett, Michael Ward

      Pages 79-92

4. Analysis with Formal Methods

   1. Security Goals and Evolving Standards

      • Joshua D. Guttman, Moses D. Liskov, Paul D. Rowe

      Pages 93-110

   2. Analysis of the IBM CCA Security API Protocols in Maude-NPA

      • Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

      Pages 111-130

   3. Robustness Modelling and Verification of a Mix Net Protocol

      • Efstathios Stathakidis, Steve Schneider, James Heather

      Pages 131-150

5. Potential Future Areas of Standardisation

   1. Stego Quality Enhancement by Message Size Reduction and Fibonacci Bit-Plane Mapping

      • Alan A. Abdulla, Harin Sellahewa, Sabah A. Jassim

      Pages 151-166

   2. Secure Modular Password Authentication for the Web Using Channel Bindings

      • Mark Manulis, Douglas Stebila, Nick Denham

      Pages 167-189

   3. A Modular Framework for Multi-Factor Authentication and Key Exchange

      • Nils Fleischhacker, Mark Manulis, Amir Azodi

      Pages 190-214

6. Improving Existing Standards

   1. Improving the ISO/IEC 11770 Standard for Key Management Techniques

      • Cas Cremers, Marko Horvat

      Pages 215-235

   2. Computationally Analyzing the ISO 9798–2.4 Authentication Protocol

      • Britta Hale, Colin Boyd

      Pages 236-255

7. Back Matter

   PDF

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
• data structures

• HP Labs, Bristol, UK

  Liqun Chen

• Information Security Group, University of London, Royal Holloway, Egham, UK

  Chris Mitchell

Policies and ethics