03417nam 22006855 450 991034939020332120200702141743.03-030-04762-810.1007/978-3-030-04762-7(CKB)4100000007159015(DE-He213)978-3-030-04762-7(MiAaPQ)EBC6298389(PPN)232471053(EXLCZ)99410000000715901520181120d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSecurity Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /edited by Cas Cremers, Anja Lehmann1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (IX, 185 p. 43 illus., 15 illus. in color.) Security and Cryptology ;113223-030-04761-X Security standardisation research -- Including cryptographic evaluation -- Standards development -- Analysis with formal methods -- Potential future areas of standardisation -- Proving existing standards.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 and Cryptology ;11322Computer securitySoftware engineeringData encryption (Computer science)Programming languages (Electronic computers)Application softwareSystems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computer 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).005.8005.8Cremers Casedthttp://id.loc.gov/vocabulary/relators/edtLehmann Anjaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349390203321Security standardisation research2065770UNINA