{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:06Z","timestamp":1746115866050,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642414848"},{"type":"electronic","value":"9783642414855"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41485-5_13","type":"book-chapter","created":{"date-parts":[[2013,10,18]],"date-time":"2013-10-18T12:14:11Z","timestamp":1382098451000},"page":"143-154","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection"],"prefix":"10.1007","author":[{"given":"Emmanouela","family":"Stachtiari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannis","family":"Soupionis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anakreontas","family":"Mentis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Gritzalis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Cisco: Voice over ip per call bandwidth consumption. Document id 7934, Cisco Communication (February 2006)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Deshpande, T., Katsaros, P., Basagiannis, S., Smolka, S.A.: Formal analysis of the DNS bandwidth amplification attack and its countermeasures using probabilistic model checking. In: HASE, pp. 360\u2013367. IEEE Computer Society (2011)","DOI":"10.1109\/HASE.2011.57"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/25.994812","volume":"51","author":"Y. Fang","year":"2002","unstructured":"Fang, Y., Zhang, Y.: Call admission control schemes and performance analysis in wireless mobile networks. IEEE Transactions on Vehicular Technology\u00a051(2), 371\u2013382 (2002)","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Fred, S.B., Bonald, T., Prouti\u00e9re, A., R\u00e9gni\u00e9, G., Roberts, J.W.: Statistical bandwidth sharing: a study of congestion at flow level. In: SIGCOMM, pp. 111\u2013122 (2001)","DOI":"10.1145\/964723.383068"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"835","DOI":"10.3233\/JCS-2010-0419","volume":"19","author":"D. Gritzalis","year":"2011","unstructured":"Gritzalis, D., Marias, G.F., Rebahi, Y., Soupionis, Y., Ehlert, S.: Spider: A platform for managing sip-based spam over internet telephony (spit). Journal of Computer Security\u00a019(5), 835\u2013867 (2011)","journal-title":"Journal of Computer Security"},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1108\/09685220110388836","volume":"9","author":"S. Gritzalis","year":"2001","unstructured":"Gritzalis, S., Gritzalis, D.: A digital seal solution for deploying trust on commercial transactions. Inf. Manag. Comput. Security\u00a09(2), 71\u201379 (2001)","journal-title":"Inf. Manag. Comput. Security"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Jamin, S., Shenker, S., Danzig, P.B.: Comparison of measurement-based call admission control algorithms for controlled-load service. In: INFOCOM, pp. 973\u2013980 (1997)","DOI":"10.1109\/INFCOM.1997.631035"},{"key":"13_CR9","unstructured":"Kandula, S., Katabi, D., Jacob, M., Berger, A.: Botz-4-sale: Surviving organized DDoS attacks that mimic flash crowds. In: NSDI. USENIX (2005)"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1109\/25.312778","volume":"43","author":"Y.B. Lin","year":"1994","unstructured":"Lin, Y.B., Mohan, S., Noerpel, A.: Queueing priority channel assignment strategies for PCS hand-off and initial access. IEEE Transactions on Vehicular Technology\u00a043(3), 704\u2013712 (1994)","journal-title":"IEEE Transactions on Vehicular Technology"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Marias, G., Dritsas, S., Theoharidou, M., Mallios, J., Gritzalis, D.: Sip vulnerabilities and anti-spit mechanisms assessment. In: ICCCN, pp. 597\u2013604 (2007)","DOI":"10.1109\/ICCCN.2007.4317883"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Mitrou, L., Gritzalis, D., Katsikas, S.K., Quirchmayr, G.: Electronic voting: Constitutional and legal requirements, and their technical implications. In: Secure Electronic Voting. Advances in Information Security, vol.\u00a07, pp. 43\u201360. Springer (2003)","DOI":"10.1007\/978-1-4615-0239-5_4"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Quittek, J., Niccolini, S., Tartarelli, S., Stiemerling, M., Brunner, M., Ewald, T.: Detecting spit calls by checking human communication patterns. In: ICC, pp. 1979\u20131984. IEEE (2007)","DOI":"10.1109\/ICC.2007.329"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1019172226345","volume":"3","author":"R. Ramjee","year":"1997","unstructured":"Ramjee, R., Towsley, D., Nagarajan, R.: On optimal call admission control in cellular networks. Wireless Networks\u00a03, 29\u201341 (1997)","journal-title":"Wireless Networks"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Jennings, C.: The session initiation protocol (sip) and spam. Rfc 5039, Network Working Group (January 2008)","DOI":"10.17487\/rfc5039"},{"issue":"5","key":"13_CR16","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MNET.2006.1705880","volume":"20","author":"D. Sisalem","year":"2006","unstructured":"Sisalem, D., Kuthan, J., Ehlert, S.: Denial of service attacks targeting a sip voip infrastructure: attack scenarios and prevention mechanisms. IEEE Network\u00a020(5), 26\u201331 (2006)","journal-title":"IEEE Network"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Snyder, M.E., Sundaram, R., Thakur, M.: A game-theoretic framework for bandwidth attacks and statistical defenses. In: LCN, pp. 556\u2013566. IEEE Computer Society (2007)","DOI":"10.1109\/LCN.2007.11"},{"issue":"5","key":"13_CR18","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1016\/j.cose.2009.12.003","volume":"29","author":"Y. Soupionis","year":"2010","unstructured":"Soupionis, Y., Gritzalis, D.: Audio captcha: Existing solutions assessment and a new implementation for voip telephony. Computers & Security\u00a029(5), 603\u2013618 (2010)","journal-title":"Computers & Security"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Soupionis, Y., Gritzalis, D.: Aspf: Adaptive anti-spit policy-based framework. In: ARES, pp. 153\u2013160 (2011)","DOI":"10.1109\/ARES.2011.29"}],"container-title":["Lecture Notes in Computer Science","Critical Information Infrastructures Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41485-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:31:12Z","timestamp":1746034272000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41485-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642414848","9783642414855"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41485-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}