{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:08:38Z","timestamp":1725548918531},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236351"},{"type":"electronic","value":"9783540376217"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-37621-7_2","type":"book-chapter","created":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:29:47Z","timestamp":1267403387000},"page":"25-44","source":"Crossref","is-referenced-by-count":16,"title":["A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack"],"prefix":"10.1007","author":[{"given":"Daigo","family":"Tomioka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ritsuya","family":"Ikeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.: Authenticity by typing for security protocols. In: 14th IEEE Computer Security Foundations Workshop, pp. 145\u2013159 (2001)","DOI":"10.1109\/CSFW.2001.930143"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.: Typing correspondence assertions for communication protocols. Electronic Notes in Theoretical Computer Science\u00a045(17) (2001)","DOI":"10.1016\/S1571-0661(04)80959-9"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.: Types and effects for asymmetric cryptographic protocols. In: 15th IEEE Computer Security Foundations Workshop, pp. 77\u201391 (2002)","DOI":"10.1109\/CSFW.2002.1021808"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/266420.266432","volume-title":"Fourth ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. In: Fourth ACM Conference on Computer and Communications Security, pp. 36\u201347. ACM Press, New York (1997)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-63141-0_5","volume-title":"CONCUR\u201997: Concurrency Theory","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.D.: Reasoning about cryptographic protocols in the spi calculus. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 59\u201373. Springer, Heidelberg (1997)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BFb0028465","volume-title":"Information and Communications Security","author":"T. Aura","year":"1997","unstructured":"Aura, T., Nikander, P.: Stateless connections. In: Han, Y., Quing, S. (eds.) ICICS 1997. LNCS, vol.\u00a01334, pp. 87\u201397. Springer, Heidelberg (1997)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/3-540-44810-1_22","volume-title":"Security Protocols","author":"T. Aura","year":"2001","unstructured":"Aura, T., Nikander, P., Leiwo, J.: DOS-resistant authentication with client puzzles. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2000. LNCS, vol.\u00a02133, pp. 170\u2013177. Springer, Heidelberg (2001)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Meadows, C.: A formal framework and evaluation method for network denial of service. In: Proceeding of the 12th IEEE Computer Security Foundations Workshop, pp. 4\u201313 (1999)","DOI":"10.1109\/CSFW.1999.779758"},{"issue":"1\/2","key":"2_CR9","doi-asserted-by":"crossref","first-page":"143","DOI":"10.3233\/JCS-2001-91-206","volume":"9","author":"C. Meadows","year":"2001","unstructured":"Meadows, C.: A cost-based framework for analysis of denial of service networks. Journal of Computer Security\u00a09(1\/2), 143\u2013164 (2001)","journal-title":"Journal of Computer Security"},{"issue":"2\/3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3233\/JCS-1993-22-303","volume":"2","author":"J.K. Millen","year":"1993","unstructured":"Millen, J.K.: A resource allocation model for denial of service protection. Journal of Computer Security\u00a02(2\/3), 89\u2013106 (1993)","journal-title":"Journal of Computer Security"},{"key":"2_CR11","first-page":"208","volume-title":"Proceedings of the 1997 IEEE Symposium on Security and Privacy","author":"C.L. Schuba","year":"1997","unstructured":"Schuba, C.L., Krsul, I.V., Kuhn, M.G., Spafford, E.H., Sundaram, A., Zamboni, D.: Analysis of a denial of service attack on TCP. In: Proceedings of the 1997 IEEE Symposium on Security and Privacy, pp. 208\u2013223. IEEE Computer Society Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Software Security - Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-37621-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:40:54Z","timestamp":1605760854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-37621-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236351","9783540376217"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-37621-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}