Security Standardisation Research [[electronic resource] ] : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / / edited by Cas Cremers, Anja Lehmann

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
• Edizione: 1st ed. 2018.
• Descrizione fisica: 1 online resource (IX, 185 p. 43 illus., 15 illus. in color.)
• Disciplina: 005.8
• Soggetto topico: 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)
• Persona (resp. second.): CremersCas; LehmannAnja
• 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.
• Titolo autorizzato: Security standardisation research
• ISBN: 3-030-04762-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466196803316
• Lo trovi qui: Univ. di Salerno
• Serie: Security and Cryptology ; ; 11322