| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910349390203321 |
|
|
Titolo |
Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / / edited by Cas Cremers, Anja Lehmann |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 185 p. 43 illus., 15 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Security and Cryptology ; ; 11322 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer security |
Software engineering |
Data encryption (Computer science) |
Programming languages (Electronic computers) |
Application software |
Systems and Data Security |
Software Engineering |
Cryptology |
Programming Languages, Compilers, Interpreters |
Information Systems Applications (incl. Internet) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |