Description
Security Standardisation Research, 1st ed. 2018
4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Security and Cryptology Series
Coordinators: Cremers Cas, Lehmann Anja
Language: EnglishSubject for Security Standardisation Research:
Keywords
cryptography; information security; standardisation research; formal verification; security standards; provable security; formal methods; security protocols; privacy; security management; provable security; data security; software engineering; authentication; specifications; public key cryptography
Publication date: 11-2018
Support: Print on demand
Support: Print on demand
Description
/li>Contents
/li>
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.- Analysis
with formal methods.- Potential future areas of standardisation.- Proving existing standards.
© 2024 LAVOISIER S.A.S.