TY  - BOOK
AU  - Cremers,Cas
AU  - Lehmann,Anja
ED  - SpringerLink (Online service)
TI  - Security Standardisation Research: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings 
T2  - Security and Cryptology
SN  - 9783030047627
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer security
KW  - Software engineering
KW  - Data encryption (Computer science)
KW  - Programming languages (Electronic computers)
KW  - Application software
KW  - Systems and Data Security
KW  - Software Engineering
KW  - Cryptology
KW  - Programming Languages, Compilers, Interpreters
KW  - Information Systems Applications (incl. Internet)
N1  - Acceso multiusuario; Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards
N2  - 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
UR  - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-04762-7
ER  -