Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / [electronic resource] :
edited by Cas Cremers, Anja Lehmann.
- 1st ed. 2018.
- IX, 185 p. 43 illus., 15 illus. in color. online resource.
- Security and Cryptology, 11322 2946-1863 ; .
- Security and Cryptology, 11322 .
Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards.
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.
9783030047627
10.1007/978-3-030-04762-7 doi
Data protection.
Software engineering.
Cryptography.
Data encryption (Computer science).
Compilers (Computer programs).
Application software.
Data and Information Security.
Software Engineering.
Cryptology.
Compilers and Interpreters.
Computer and Information Systems Applications.
QA76.9.A25
005.8
Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards.
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.
9783030047627
10.1007/978-3-030-04762-7 doi
Data protection.
Software engineering.
Cryptography.
Data encryption (Computer science).
Compilers (Computer programs).
Application software.
Data and Information Security.
Software Engineering.
Cryptology.
Compilers and Interpreters.
Computer and Information Systems Applications.
QA76.9.A25
005.8