{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:14:23Z","timestamp":1725869663844},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319490991"},{"type":"electronic","value":"9783319491004"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49100-4_1","type":"book-chapter","created":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T10:41:42Z","timestamp":1477996902000},"page":"1-31","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing and Fixing the QACCE Security of QUIC"],"prefix":"10.1007","author":[{"given":"Hideki","family":"Sakurada","sequence":"first","affiliation":[]},{"given":"Kazuki","family":"Yoneyama","sequence":"additional","affiliation":[]},{"given":"Yoshikazu","family":"Hanatani","sequence":"additional","affiliation":[]},{"given":"Maki","family":"Yoshida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Dierks, T., Allen, C.: The TLS protocol version 1.0. In: RFC 2246 (Proposed Standard), Internet Engineering Task Force (1999)","DOI":"10.17487\/rfc2246"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Ford, B.: Structured streams: a new transport abstraction. In: SIGCOMM 2007, pp. 361\u2013372 (2007)","DOI":"10.1145\/1282380.1282421"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Stewart, R.: Stream control transmission protocol. In: RFC 4960 (Proposed Standard), Internet Engineering Task Force (2007)","DOI":"10.17487\/rfc4960"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Erman, J., Gopalakrishnan, V., Jana, R., Ramakrishnan, K.K.: Towards a SPDY\u2019ier mobile web? In: CoNEXT 2013, pp. 303\u2013314 (2013)","DOI":"10.1145\/2535372.2535399"},{"key":"1_CR5","unstructured":"Roskind, J.: QUIC (Quick UDP Internet Connections): Multiplexed Stream Transport Over UDP (2013). https:\/\/docs.google.com\/document\/d\/1RNHkx_VvKWyWg6Lr8SZ-saqsQx7rFV-ev2jRFUoVD34\/"},{"key":"1_CR6","unstructured":"StatCounter: StatConter Global Stats: Top. 5 Desktop Browsers from to Apr 2016 (2016). http:\/\/gs.statcounter.com\/#desktop-browser-ww-monthly-201504-201604"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Fischlin, M., G\u00fcnther, F.: Multi-stage key exchange and the case of Google\u2019s QUIC protocol. In: ACM Conference on Computer and Communications Security 2014, pp. 1193\u20131204 (2014)","DOI":"10.1145\/2660267.2660308"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-48329-2_21","volume-title":"Advances in Cryptology \u2014 CRYPTO\u2019 93","author":"M Bellare","year":"1994","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 232\u2013249. Springer, Heidelberg (1994). doi: 10.1007\/3-540-48329-2_21"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Lychev, R., Jero, S., Boldyreva, A., Nita-Rotaru, C.: How secure and quick is QUIC? Provable security and performance analyses. In: 2015 IEEE Symposium on Security and Privacy, pp. 214\u2013231 (2015)","DOI":"10.1109\/SP.2015.21"},{"key":"1_CR10","unstructured":"Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.3. Internet-Draft draft-ietf-tls-tls13-13 (2016)"},{"key":"1_CR11","unstructured":"ProVerif: Cryptographic protocol verifier in the formal model. http:\/\/prosecco.gforge.inria.fr\/personal\/bblanche\/proverif\/"},{"issue":"4","key":"1_CR12","doi-asserted-by":"crossref","first-page":"363","DOI":"10.3233\/JCS-2009-0339","volume":"17","author":"B Blanchet","year":"2009","unstructured":"Blanchet, B.: Automatic verification of correspondences for security protocols. J. Comput. Secur. 17(4), 363\u2013434 (2009)","journal-title":"J. Comput. Secur."},{"issue":"1","key":"1_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jlap.2007.06.002","volume":"75","author":"B Blanchet","year":"2008","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. J. Logic Algebraic Program. 75(1), 3\u201351 (2008). Algebraic Process Calculi. The First Twenty Five Years and Beyond. III","journal-title":"J. Logic Algebraic Program."},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-36830-1_12","volume-title":"Principles of Security and Trust","author":"V Cheval","year":"2013","unstructured":"Cheval, V., Blanchet, B.: Proving more observational equivalences with ProVerif. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol. 7796, pp. 226\u2013246. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36830-1_12"}],"container-title":["Lecture Notes in Computer Science","Security Standardisation Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49100-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T01:46:59Z","timestamp":1568512019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49100-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319490991","9783319491004"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49100-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}