{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:26:00Z","timestamp":1725863160057},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448015"},{"type":"electronic","value":"9783319448022"}],"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-44802-2_5","type":"book-chapter","created":{"date-parts":[[2016,8,17]],"date-time":"2016-08-17T12:32:52Z","timestamp":1471437172000},"page":"82-97","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specification and Verification of a Selective Defense for TDoS Attacks"],"prefix":"10.1007","author":[{"given":"Yuri Gil","family":"Dantas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcilio O. O.","family":"Lemos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iguatemi E.","family":"Fonseca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,18]]},"reference":[{"key":"5_CR1","unstructured":"Cyber threat bulletin: boston hospital TDoS attack. http:\/\/voipsecurityblog.typepad.com\/files\/cyber-threat-bulletin-13-06-boston-hospital-telephony-denial-of-service-attack.pdf . Accessed 27 Sep 2015"},{"key":"5_CR2","unstructured":"TDoS- extortionists jam phone lines of public services including hospitals. https:\/\/nakedsecurity.sophos.com\/pt\/2014\/01\/22\/tdos-extortionists-jam-phone-lines-of-public-services-including-hospitals\/ . Accessed 27 Sep 2015"},{"key":"5_CR3","unstructured":"Situational advisory: recent telephony denial of services (TDoS) attacks. http:\/\/voipsecurityblog.typepad.com\/files\/ky-fusion_tdos_3-29-13-2.pdf\/ . Accessed 27 Sep 2015"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Dantas, Y.G., Nigam, V., Fonseca, I.E.: A selective defense for application layer DDoS attacks. In: JISIC 2014, pp. 75\u201382 (2014)","DOI":"10.1109\/JISIC.2014.21"},{"key":"5_CR5","unstructured":"The Surging Threat of Telephony Denial of Service Attacks. http:\/\/voipsecurityblog.typepad.com\/files\/tdos_paper_4-11-13.pdf . Accessed 28 Sep 2015"},{"key":"5_CR6","unstructured":"TDoS extortionists jam phone lines of public services, including hospitals. https:\/\/nakedsecurity.sophos.com\/2014\/01\/22\/tdos-extortionists-jam-phone-lines-of-public-services-including-hospitals\/ . Accessed 28 Nov 2015"},{"issue":"4","key":"5_CR7","doi-asserted-by":"crossref","first-page":"2046","DOI":"10.1109\/SURV.2013.031413.00127","volume":"15","author":"ST Zargar","year":"2013","unstructured":"Zargar, S.T., Joshi, J., Tipper, D.: A survey of defense mechanisms against distributed denial of service (DDoS) flooding attacks. IEEE Commun. Surv. Tutorials 15(4), 2046\u20132069 (2013)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/11513988_26","volume-title":"Computer Aided Verification","author":"K Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: a parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"5_CR10","unstructured":"Lemos, M.O.O., Dantas, Y.G., Fonseca, I.E., Nigam, V.: A selective defense for mitigating coordinated call attacks (submitted)"},{"key":"5_CR11","unstructured":"ygdantas. Seven: repository (2013). https:\/\/github.com\/ygdantas\/SeVen.git"},{"key":"5_CR12","unstructured":"SIP: Session initiation protocol. http:\/\/www.ietf.org\/rfc\/rfc3261.txt"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/978-3-642-04444-1_24","volume-title":"Computer Security \u2013 ESORICS 2009","author":"R Shankesi","year":"2009","unstructured":"Shankesi, R., AlTurki, M., Sasse, R., Gunter, C.A., Meseguer, J.: Model-checking DoS amplification for VoIP session initiation. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 390\u2013405. Springer, Heidelberg (2009)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Khanna, S., Venkatesh, S.S., Fatemieh, O., Khan, F., Gunter, C.A.: Adaptive selective verification. In: INFOCOM, pp. 529\u2013537 (2008)","DOI":"10.1109\/INFOCOM.2008.101"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-642-28872-2_6","volume-title":"Fundamental Approaches to Software Engineering","author":"J Eckhardt","year":"2012","unstructured":"Eckhardt, J., M\u00fchlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 78\u201393. Springer, Heidelberg (2012)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-642-37635-1_9","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J Eckhardt","year":"2013","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Statistical model checking for composite actor systems. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 143\u2013160. Springer, Heidelberg (2013)"},{"issue":"2","key":"5_CR17","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.entcs.2005.10.040","volume":"153","author":"G Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213\u2013239 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Huici, F., Niccolini, S., D\u2019Heureuse, N.: Protecting SIP against very large flooding DoS attacks. In: GLOBECOM 2009, pp. 1369\u20131374. IEEE Press, Piscataway (2009)","DOI":"10.1109\/GLOCOM.2009.5425524"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Yu-Sung, W., Bagchi, S., Garg, S., Singh, N., Tsai, T.: SCIDIVE: a stateful and cross protocol intrusion detection architecture for voice-over-IP environments. In: DSN 2004, p. 433. IEEE Computer Society, Washington, DC (2004)","DOI":"10.1109\/DSN.2004.1311913"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Meadows, C.: A formal framework and evaluation method for network denial of service. In: CSFW, pp. 4\u201313 (1999)","DOI":"10.1109\/CSFW.1999.779758"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Mahimkar, A., Shmatikov, V.: Game-based analysis of denial-of-service prevention protocols. In: CSFW, pp. 287\u2013301 (2005)","DOI":"10.1109\/CSFW.2005.18"},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.069","volume":"234","author":"M AlTurki","year":"2009","unstructured":"AlTurki, M., Meseguer, J., Gunter, C.A.: Probabilistic modeling and analysis of DoS protection for the ASV protocol. Electr. Notes Theor. Comput. Sci. 234, 3\u201318 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR24","unstructured":"Henrique, J., Fonseca, I.E., Nigam, V.: Mitigating high-rate application layer DDoS attacks in software defined networks (submitted)"}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44802-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:53:17Z","timestamp":1498323197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44802-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448015","9783319448022"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44802-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}