{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T00:39:11Z","timestamp":1743727151662,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322976"},{"type":"electronic","value":"9783642322983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32298-3_6","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T05:11:11Z","timestamp":1341983471000},"page":"84-101","source":"Crossref","is-referenced-by-count":1,"title":["Some Improvements to the Cost-Based Framework for Analyzing Denial of Service Attacks"],"prefix":"10.1007","author":[{"given":"Qinggang","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/996943.996946","volume":"7","author":"W. Aiello","year":"2004","unstructured":"Aiello, W., Bellovin, S.M., Blaze, M., Canetti, R., Ioannidis, J., Keromytis, A.D., Reingold, O.: Just fast keying: key agreement in a hostile network. ACM Transactions on Information and System Security\u00a07(2), 242\u2013273 (2004)","journal-title":"ACM Transactions on Information and System Security"},{"doi-asserted-by":"crossref","unstructured":"Boyd, C., Mathuria, A.: Protocols for Authentication and Key Establishment. Springer (2003)","key":"6_CR2","DOI":"10.1007\/978-3-662-09527-0"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-642-10366-7_30","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2009","author":"L. Chen","year":"2009","unstructured":"Chen, L., Morrissey, P., Smart, N.P., Warinschi, B.: Security Notions and Generic Constructions for Client Puzzles. In: Matsui, M. (ed.) ASIACRYPT 2009. LNCS, vol.\u00a05912, pp. 505\u2013523. Springer, Heidelberg (2009)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","first-page":"52","volume-title":"Logic of Programs","author":"E.M. Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Engeler, E. (ed.) Logic of Programs 1979. LNCS, vol.\u00a0125, pp. 52\u201371. Springer, Heidelberg (1981)"},{"unstructured":"Dai, W.: Crypto++ 5.2.1 benchmarks. Technical report (2009), http:\/\/www.cryptopp.com\/benchmarks.html","key":"6_CR5"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D. Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory\u00a029(2), 198\u2013208 (1983)","journal-title":"IEEE Transactions on Information Theory"},{"unstructured":"Eddy, W.: TCP SYN Flooding Attacks and Common Mitigations. Request for Comments: 4987 (2007), http:\/\/tools.ietf.org\/html\/rfc4987","key":"6_CR7"},{"unstructured":"Farahbod, R.: CoreASM language user manual. Technical report (2006), http:\/\/www.coreasm.org","key":"6_CR8"},{"unstructured":"Gong, L., Syverson, P.: Fail-stop protocols: an approach to designing secure protocols. In: Iyer, R.K., Morganti, M., Fuchs, W.K., Gligor, V. (eds.) Dependable Computing for Critical Applications 5, pp. 79\u201399. IEEE Computer Society (1998)","key":"6_CR9"},{"doi-asserted-by":"crossref","unstructured":"Groza, B., Minea, M.: Formal modelling and automatic detection of resource exhaustion attacks. In: Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS), pp. 326\u2013333 (2011)","key":"6_CR10","DOI":"10.1145\/1966913.1966955"},{"doi-asserted-by":"crossref","unstructured":"Harkins, D., Carrel, D.: The Internet Key Exchange (IKE). Request for comments (proposed standard) 2409, Internet Engineering Task Force (1998)","key":"6_CR11","DOI":"10.17487\/rfc2409"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75670-5_1","volume-title":"Provable Security","author":"B. LaMacchia","year":"2007","unstructured":"LaMacchia, B., Lauter, K., Mityagin, A.: Stronger Security of Authenticated Key Exchange. In: Susilo, W., Liu, J.K., Mu, Y. (eds.) ProvSec 2007. LNCS, vol.\u00a04784, pp. 1\u201316. Springer, Heidelberg (2007)"},{"issue":"1\/2","key":"6_CR13","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 in networks. Journal of Computer Security\u00a09(1\/2), 143\u2013164 (2001)","journal-title":"Journal of Computer Security"},{"doi-asserted-by":"crossref","unstructured":"Meadows, C.: A formal framework and evaluation method for network denial of service. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, pp. 4\u201313. Computer Society Press (June 1999)","key":"6_CR14","DOI":"10.1109\/CSFW.1999.779758"},{"doi-asserted-by":"crossref","unstructured":"Needham, R.M.: Denial of Service. In: The 1st ACM Conference on Computer and Communications Security, Fairfax, VA, pp. 151\u2013153 (1993)","key":"6_CR15","DOI":"10.1145\/168588.168607"},{"doi-asserted-by":"crossref","unstructured":"Peng, J., Liu, F., Zhao, Z., Huang, D., Xue, R.: ASM-SPV: a model checker for security protocols. In: 2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, pp. 458\u2013461 (2010)","key":"6_CR16","DOI":"10.1109\/IIHMSP.2010.117"},{"unstructured":"Ramachandran, V.: Analyzing DoS-resistance of protocols using a cost-based framework. Technical Report DCS\/TR-1239, Yale University (2002)","key":"6_CR17"},{"unstructured":"Smith, J., Gonz\u00e1lez Nieto, J.M., Boyd, C.: Modelling denial of service attacks on JFK with Meadows\u2019s cost-based framework. In: 4th Australasian Information Security Workshop, pp. 125\u2013134 (2006)","key":"6_CR18"},{"doi-asserted-by":"crossref","unstructured":"Smith, J., Tritilanunt, S., Boyd, C., Nieto, J.M.G., Foo, E.: Denial-of-Service resistance in key establishment. In: Wireless and Mobile Computing, vol.\u00a02, pp. 59\u201371 (2007)","key":"6_CR19","DOI":"10.1504\/IJWMC.2007.013796"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-02620-1_27","volume-title":"Information Security and Privacy","author":"D. Stebila","year":"2009","unstructured":"Stebila, D., Ustaoglu, B.: Towards Denial-of-Service-Resilient Key Agreement Protocols. In: Boyd, C., Gonz\u00e1lez Nieto, J. (eds.) ACISP 2009. LNCS, vol.\u00a05594, pp. 389\u2013406. Springer, Heidelberg (2009)"},{"unstructured":"Tritilanunt, S.: Protocol engineering for protection against Denial-of-Service attacks. PhD thesis, Information Security Institute Queensland University of Technology (2009)","key":"6_CR21"}],"container-title":["Lecture Notes in Computer Science","Trusted Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32298-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T20:41:59Z","timestamp":1743712919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32298-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322976","9783642322983"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32298-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}