书目名称 | Security Standardisation Research |
副标题 | 4th International Co |
编辑 | Cas Cremers,Anja Lehmann |
视频video | http://file.papertrans.cn/864/863435/863435.mp4 |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | 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.. |
出版日期 | Conference proceedings 2018 |
关键词 | cryptography; information security; standardisation research; formal verification; security standards; pr |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-04762-7 |
isbn_softcover | 978-3-030-04761-0 |
isbn_ebook | 978-3-030-04762-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer Nature Switzerland AG 2018 |