{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:02:33Z","timestamp":1779087753613,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288715","type":"print"},{"value":"9783642288722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_6","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"78-93","source":"Crossref","is-referenced-by-count":29,"title":["Stable Availability under Denial of Service Attacks through Formal Patterns"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Eckhardt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"M\u00fchlbauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Musab","family":"AlTurki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-24725-8_24","volume-title":"Programming Languages and Systems","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Blanchet, B., Fournet, C.: Just Fast Keying in the Pi Calculus. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 340\u2013354. Springer, Heidelberg (2004)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G., Frolund, S., Panwar, R., Sturman, D.: A linguistic framework for dynamic composition of dependability protocols. IFIP, pp. 345\u2013363 (1993)","DOI":"10.1007\/978-3-7091-4009-3_15"},{"key":"6_CR3","unstructured":"Agha, G., Gunter, C., Greenwald, M., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of DoS using probabilistic rewrite theories. In: FCS (2005)"},{"issue":"2","key":"6_CR4","first-page":"213","volume":"153","author":"G. Agha","year":"2006","unstructured":"Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. ENTCS\u00a0153(2), 213\u2013239 (2006)","journal-title":"ENTCS"},{"key":"6_CR5","unstructured":"AlTurki, M.: Rewriting-based formal modeling, analysis and implementation of real-time distributed services. PhD thesis, University of Illinois (2011)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"6_CR7","first-page":"3","volume":"234","author":"M. AlTurki","year":"2009","unstructured":"AlTurki, M., Meseguer, J., Gunter, C.: Probabilistic modeling and analysis of DoS protection for the ASV protocol. ENTCS\u00a0234, 3\u201318 (2009)","journal-title":"ENTCS"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-68863-1_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"R. Chadha","year":"2008","unstructured":"Chadha, R., Gunter, C.A., Meseguer, J., Shankesi, R., Viswanathan, M.: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 39\u201358. Springer, Heidelberg (2008)"},{"key":"6_CR9","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 - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"6_CR10","first-page":"1755","volume":"80","author":"J. Dong","year":"2007","unstructured":"Dong, J., Alencar, P.S.C., Cowan, D.D., Yang, S.: Composing pattern-based components and verifying correctness. JSS\u00a080, 1755\u20131769 (2007)","journal-title":"JSS"},{"key":"6_CR11","unstructured":"Eckhardt, J.: A Formal Analysis of Security Properties in Cloud Computing. Master\u2019s thesis, LMU Munich (2011)"},{"key":"6_CR12","unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall (2008)"},{"key":"6_CR13","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)"},{"key":"6_CR14","unstructured":"Gunter, C., Khanna, S., Tan, K., Venkatesh, S.: DoS Protection for Reliably Authenticated Broadcast. In: NDSS (2004)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Khanna, S., Venkatesh, S., Fatemieh, O., Khan, F., Gunter, C.: Adaptive Selective Verification. In: IEEE INFOCOM, pp. 529\u2013537 (2008)","DOI":"10.1109\/INFOCOM.2007.101"},{"issue":"11","key":"6_CR16","first-page":"1350","volume":"9","author":"S. Lafrance","year":"2003","unstructured":"Lafrance, S., Mullins, J.: An Information Flow Method to Detect Denial of Service Vulnerabilities. JUCS\u00a09(11), 1350\u20131369 (2003)","journal-title":"JUCS"},{"key":"6_CR17","series-title":"CCIS","first-page":"170","volume-title":"ISoLA 2008","author":"M. Wirsing","year":"2008","unstructured":"Wirsing, M., et al.: Sensoria Patterns: Augmenting Service Engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 170\u2013190. Springer, Heidelberg (2008)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Mahimkar, A., Shmatikov, V.: Game-based Analysis of Denial-of-Service Prevention Protocols. In: IEEE CSFW, pp. 287\u2013301 (2005)","DOI":"10.1109\/CSFW.2005.18"},{"key":"6_CR19","unstructured":"MasterCard. MasterCard Statement (September 2011), http:\/\/www.businesswire.com\/news\/home\/20101208005866\/en\/MasterCard-Statement"},{"key":"6_CR20","unstructured":"Meadows, C.: A Formal Framework and Evaluation Method for Network Denial of Service. In: IEEE CSFW (1999)"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. TCS\u00a096(1), 73\u2013155 (1992)","journal-title":"TCS"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"key":"6_CR23","unstructured":"M\u00fchlbauer, T.: Formal Specification and Analysis of Cloud Computing Management. Master\u2019s thesis, LMU Munich (2011)"},{"issue":"1\u20132","key":"6_CR24","first-page":"161","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. HOSC\u00a020(1\u20132), 161\u2013196 (2007)","journal-title":"HOSC"},{"key":"6_CR25","unstructured":"Schumacher, M., Fernandez-Buglioni, E., Hybertson, D., Buschmann, F., Sommerlad, P.: Security Patterns. Wiley (2005)"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.\u00a03576, pp. 266\u2013280. Springer, Heidelberg (2005)"},{"key":"6_CR27","unstructured":"W3C. Request-Response Message Exchange Pattern (September 2011), http:\/\/www.w3.org\/TR\/2003\/PR-soap12-part2-20030507\/#singlereqrespmep"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Walfish, M., Vutukuru, M., Balakrishnan, H., Karger, D.R., Shenker, S.: DDoS defense by offense. In: ACM SIGCOMM, pp. 303\u2013314 (2006)","DOI":"10.1145\/1151659.1159948"},{"issue":"9","key":"6_CR29","first-page":"1368","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. JIC\u00a0204(9), 1368\u20131409 (2006)","journal-title":"JIC"},{"issue":"6","key":"6_CR30","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1109\/32.55087","volume":"16","author":"C.-F. Yu","year":"1990","unstructured":"Yu, C.-F., Gligor, V.: A Specification and Verification Method for Preventing Denial of Service. IEEE T-SE\u00a016(6), 581\u2013592 (1990)","journal-title":"IEEE T-SE"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:50:12Z","timestamp":1742755812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}