Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cremers, Cas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Lehmann, Anja (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Security and Cryptology ; 11322
• Θέματα: 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).

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, s...

Πίνακας περιεχομένων:

• Security standardisation research
• Including cryptographic evaluation
• Standards development
• Analysis with formal methods
• Potential future areas of standardisation
• Proving existing standards.