Security Standardisation Research  4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /  [electronic resource] : 
edited by Cas Cremers, Anja Lehmann. 
 - 1st ed. 2018. 
 - IX, 185 p. 43 illus., 15 illus. in color.  online resource. 
 - Security and Cryptology,  11322  2946-1863 ; .
 - Security and Cryptology,  11322 .
<br/><br/>Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030047627 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-04762-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Data protection.<br/>Software engineering.<br/>Cryptography.<br/>Data encryption (Computer science).<br/>Compilers (Computer programs).<br/>Application software.<br/>Data and Information Security.<br/>Software Engineering.<br/>Cryptology.<br/>Compilers and Interpreters.<br/>Computer and Information Systems Applications.
<br/><br/><label>LC Class. No.: </label>QA76.9.A25 
<br/><br/><label>Dewey Class. No.: </label>005.8