{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:57:18Z","timestamp":1780563438119,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540688624","type":"print"},{"value":"9783540688631","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68863-1_4","type":"book-chapter","created":{"date-parts":[[2008,6,2]],"date-time":"2008-06-02T07:20:45Z","timestamp":1212391245000},"page":"39-58","source":"Crossref","is-referenced-by-count":9,"title":["Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers"],"prefix":"10.1007","author":[{"given":"Rohit","family":"Chadha","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carl A.","family":"Gunter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jose","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ravinder","family":"Shankesi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"4_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/88.218170","volume":"1","author":"G. Agha","year":"1993","unstructured":"Agha, G., Frolund, S., Panwar, R., Sturman, D.: A Linguistic Framework for Dynamic Composition of Dependability Protocols. IEEE Parallel and Distributed Technology: Systems and Applications\u00a01, 3\u201314 (1993)","journal-title":"IEEE Parallel and Distributed Technology: Systems and Applications"},{"key":"4_CR3","unstructured":"Agha, G., Greenwald, M., Gunter, C.A., Khanna, S., Meseguer, J., Sen, K., Thati, P.: Formal modeling and analysis of dos using probabilistic rewrite theories. In: Foundations of Computer Security (FCS 2005) (2005)"},{"issue":"4","key":"4_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining Liveness. Information Processing Letters\u00a021(4), 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A. Armando","year":"2005","unstructured":"Armando, A., et al.: The Avispa Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 281\u2013285. Springer, Heidelberg (2005)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: A Composable Cryptographic Library with Nested Operations. In: 10th ACM conference on Computer and Communications Security, pp. 220\u2013230 (2003)","DOI":"10.1145\/948109.948140"},{"key":"4_CR7","unstructured":"Bernstein, D.J.: SYN cookies (1996), http:\/\/cr.yp.to\/syncookies.html"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Cervesato, I., Durgin, N.A., Lincoln, P., Mitchell, J.C., Scedrov, A.: A meta-notation for protocol analysis. In: 12-th IEEE Computer Security Foundations Workshop, pp. 55\u201369 (1999)","DOI":"10.1109\/CSFW.1999.779762"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/JCS-2005-13304","volume":"13","author":"A. Datta","year":"2005","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: A Derivation System and Compositional Logic for Security Protocols. J. Comput. Secur.\u00a013(3), 423\u2013482 (2005)","journal-title":"J. Comput. Secur."},{"key":"4_CR11","unstructured":"Denker, G., Meseguer, J., Talcott, C.: Protocol Specification and Analysis in Maude. In: Workshop on Formal Methods and Security Protocols (1998)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Denker, G., Meseguer, J., Talcott, C.: Rewriting Semantics of Meta-Objects and Composable Distributed Services. In: 3rd. Intl. Workshop on Rewriting Logic and its Applications (2000)","DOI":"10.1016\/S1571-0661(05)80132-X"},{"issue":"4","key":"4_CR13","doi-asserted-by":"crossref","first-page":"677","DOI":"10.3233\/JCS-2003-11407","volume":"11","author":"N. Durgin","year":"2004","unstructured":"Durgin, N., Mitchell, J.C., Pavlovic, D.: A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur.\u00a011(4), 677\u2013721 (2004)","journal-title":"J. Comput. Secur."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation. In: Formal Methods in Security Engineering, pp. 1\u201312 (2005)","DOI":"10.1145\/1103576.1103578"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Fielding, R., Gettys, J., Mogul, J., Frystyk, H., Berners-Lee, T.: RFC 2068: Hypertext Transfer Protocol \u2013 HTTP\/1.1. Internet Society, (1997)","DOI":"10.17487\/rfc2068"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science\u00a0105(2), 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"key":"4_CR17","unstructured":"Gong, L., Syverson, P.: Fail-stop Protocols: An Approach to Designing Secure Protocols. In: 5th International Working Conference on Dependable Computing for Critical Applications, pp. 44\u201355 (1995)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Goodloe, A.E., Gunter, C.A.: Reasoning about Concurrency for Security Tunnels. In: IEEE Computer Security Foundations (CSF 2007) (2007)","DOI":"10.1109\/CSF.2007.28"},{"key":"4_CR19","unstructured":"Gunter, C.A., Khanna, S., Tan, K., Venkatesh, S.S.: DoS Protection for Reliably Authenticated Broadcast. In: Network and Distributed System Security Symposium (2004)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/CSF.2007.31","volume":"00","author":"A. Gupta","year":"2007","unstructured":"Gupta, A., Shmatikov, V.: Security Analysis of Voice-over-IP Protocols. Computer Security Foundations Symposium\u00a000, 49\u201363 (2007)","journal-title":"Computer Security Foundations Symposium"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Harkins, D., Carrel, D.: The Internet Key Exchange(IKE). Internet Society (1998)","DOI":"10.17487\/rfc2409"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"He, C., Sundararajan, M., Datta, A., Derek, A., Mitchell, J.C.: A Modular Correctness Proof of IEEE 802.11i and TLS. In: 12th ACM conference on Computer and Communications Security, pp. 2\u201315 (2005)","DOI":"10.1145\/1102120.1102124"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Kaufman, C.: RFC 4306: Internet Key Exchange (IKEv2) Protocol. Internet Society (2005)","DOI":"10.17487\/rfc4306"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Khanna, S., Venkatesh, S.S., Fatemieh, O., Khan, F., Gunter, C.A.: Adaptive Selective Verification. In: IEEE Conference on Computer Communications (INFOCOM 2008) (2008)","DOI":"10.1109\/INFOCOM.2008.101"},{"issue":"11","key":"4_CR25","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. Journal of Unified Computer Science\u00a09(11), 1350\u20131369 (2003)","journal-title":"Journal of Unified Computer Science"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.D.: The Glory of the Past. In: Conference on Logic of Programs, pp. 196\u2013218 (1985)","DOI":"10.1007\/3-540-15648-8_16"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Mahimkar, A., Shmatikov, V.: Game-based Analysis of Denial-of-Service Prevention Protocols. In: 18th IEEE workshop on Computer Security Foundations, pp. 287\u2013301 (2005)","DOI":"10.1109\/CSFW.2005.18"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Maughan, D., Schertler, M.M., Schneider, Turner, J.: Internet Security Association and Key Management Protocol (ISAKMP). Internet Society (1998)","DOI":"10.17487\/rfc2408"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Meadows, C.: A Formal Framework and Evaluation Method for Network Denial of Service. In: 12th IEEE workshop on Computer Security Foundations (1999)","DOI":"10.1109\/CSFW.1999.779758"},{"issue":"1","key":"4_CR30","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. Theor. Comput. Sci.\u00a096(1), 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR31","first-page":"1","volume-title":"16th European Conference on Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic Models for Distributed Object Reflection. In: 16th European Conference on Object-Oriented Programming, pp. 1\u201336. Springer, Heidelberg (2002)"},{"issue":"2","key":"4_CR32","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/JCS-2004-12203","volume":"12","author":"J. Mitchell","year":"2004","unstructured":"Mitchell, J., Durgin, N., Lincoln, P., Scedrov, A.: Multiset Rewriting and the Complexity of Bounded Security Protocols. Journal of Computer Security\u00a012(2), 247\u2013311 (2004)","journal-title":"Journal of Computer Security"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Piper, D.: The Internet IP Security Domain Of Interpretation for ISAKMP. Internet Society (1998)","DOI":"10.17487\/rfc2407"},{"key":"4_CR34","doi-asserted-by":"crossref","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: IEEE Symposium on Security and Privacy, pp. 208\u2013223 (1997)","DOI":"10.1109\/SECPRI.1997.601338"},{"issue":"5","key":"4_CR35","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"A.P. Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, Liveness and Fairness in Temporal Logic. Formal Asp. Comput.\u00a06(5), 495\u2013512 (1994)","journal-title":"Formal Asp. Comput."},{"issue":"6","key":"4_CR36","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1109\/32.55087","volume":"16","author":"C.-F. Yu","year":"1990","unstructured":"Yu, C.-F., Gligor, V.D.: A Specification and Verification Method for Preventing Denial of Service. IEEE Transactions on Software Engineering\u00a016(6), 581\u2013592 (1990)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68863-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,18]],"date-time":"2023-05-18T16:23:02Z","timestamp":1684426982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68863-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688624","9783540688631"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68863-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}