Security Standardisation Research

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.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.

Inhalt

Security standardisation research.- Including cryptographic evaluation.- Standards development.- Analysiswith formal methods.- Potential future areas of standardisation.- Proving existing standards.