Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Buch | Softcover

IX, 185 Seiten

2018
Springer International Publishing (Verlag)
978-3-030-04761-0 (ISBN)

Artikel merken

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.

Security standardisation research.- Including cryptographic evaluation.- Standards development.- Analysiswith formal methods.- Potential future areas of standardisation.- Proving existing standards.

Erscheinungsdatum	24.11.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Security and Cryptology
Zusatzinfo	IX, 185 p. 43 illus., 15 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	308 g
Themenwelt	Informatik ► Netzwerke ► Sicherheit / Firewall
Schlagworte	authentication • cryptography • Data Security • formal methods • Formal Verification • Information Security • privacy • provable security • Public Key Cryptography • security management • security protocols • Security standards • Software engineering • Specifications • standardisation research
ISBN-10	3-030-04761-X / 303004761X
ISBN-13	978-3-030-04761-0 / 9783030047610
Zustand	Neuware