{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:46:59Z","timestamp":1725540419454},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050886"},{"type":"electronic","value":"9783642050893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05089-3_50","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T22:31:40Z","timestamp":1257287500000},"page":"790-805","source":"Crossref","is-referenced-by-count":6,"title":["Specification and Verification of Web Applications in Rewriting Logic"],"prefix":"10.1007","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Demis","family":"Ballis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Romero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"50_CR1","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.entcs.2008.04.096","volume":"200","author":"R. Message","year":"2008","unstructured":"Message, R., Mycroft, A.: Controlling Control Flow in Web Applications. Electronic Notes in Theoretical Computer Science\u00a0200(3), 119\u2013131 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"50_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-36575-3_17","volume-title":"Programming Languages and Systems","author":"P. Graunke","year":"2003","unstructured":"Graunke, P., Findler, R., Krishnamurthi, S., Felleisen, M.: Modeling Web Interactions. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 238\u2013252. Springer, Heidelberg (2003)"},{"key":"50_CR3","unstructured":"Open Web Application Security Project: Top ten security flaws, http:\/\/www.owasp.org\/index.php\/OWASP_Top_Ten_Project"},{"issue":"2","key":"50_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"50_CR5","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. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"50_CR6","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1145581.1145645","volume-title":"6th International Conference on Web Engineering","author":"M. Han","year":"2006","unstructured":"Han, M., Hofmeister, C.: Modeling and Verification of Adaptive Navigation in Web Applications. In: 6th International Conference on Web Engineering, pp. 329\u2013336. ACM, New York (2006)"},{"key":"50_CR7","unstructured":"Bae, K., Meseguer, J.: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. ENTCS. Elsevier, Amsterdam (to appear)"},{"key":"50_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-540-68679-8_22","volume-title":"Concurrency, Graphs and Models","author":"J. Meseguer","year":"2008","unstructured":"Meseguer, J.: The Temporal Logic of Rewriting: A Gentle Introduction. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 354\u2013382. Springer, Heidelberg (2008)"},{"key":"50_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., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"volume-title":"Term Rewriting Systems","year":"2003","key":"50_CR10","unstructured":"TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"},{"key":"50_CR11","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Ballis, D., Romero, D.: A Rewriting Logic Framework for the Specification and the Analysis of Web Applications. Technical Report DSIC-II\/01\/09, Technical University of Valencia (2009), http:\/\/www.dsic.upv.es\/~dromero\/web-tlr.html","DOI":"10.1007\/978-3-642-05089-3_50"},{"issue":"2-3","key":"50_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.tcs.2008.04.040","volume":"403","author":"J. Meseguer","year":"2008","unstructured":"Meseguer, J., Palomino, M., Mart\u00ed-Oliet, N.: Equational Abstractions. Theoretical Computer Science\u00a0403(2-3), 239\u2013264 (2008)","journal-title":"Theoretical Computer Science"},{"key":"50_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"50_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-44585-4_31","volume-title":"Computer Aided Verification","author":"L. Alfaro","year":"2001","unstructured":"Alfaro, L.: Model Checking the World Wide Web. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 337\u2013349. Springer, Heidelberg (2001)"},{"issue":"3","key":"50_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.entcs.2008.04.095","volume":"200","author":"S. Flores","year":"2008","unstructured":"Flores, S., Lucas, S., Villanueva, A.: Formal Verification of Websites. Electronic notes in Theoretical Computer Science\u00a0200(3), 103\u2013118 (2008)","journal-title":"Electronic notes in Theoretical Computer Science"},{"key":"50_CR16","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/ICWE.2008.38","volume-title":"8th International Conference on Web Engineering","author":"M. Haydar","year":"2008","unstructured":"Haydar, M., Sahraoui, H., Petrenko, A.: Specification Patterns for Formal Web Verification. In: 8th International Conference on Web Engineering, pp. 240\u2013246. IEEE Computer Society, Los Alamitos (2008)"},{"key":"50_CR17","first-page":"47","volume-title":"12th IEEE International Conference on Engineering Complex Computer Systems","author":"H. Miao","year":"2007","unstructured":"Miao, H., Zeng, H.: Model Checking-based Verification of Web Application. In: 12th IEEE International Conference on Engineering Complex Computer Systems, pp. 47\u201355. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"2","key":"50_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2005.07.034","volume":"151","author":"F.M. Donini","year":"2006","unstructured":"Donini, F.M., Mongiello, M., Ruta, M., Totaro, R.: A Model Checking-based Method for Verifying Web Application Design. Electronic Notes in Theoretical Computer Science\u00a0151(2), 19\u201332 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"4","key":"50_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10990-004-4866-z","volume":"17","author":"C. Queinnec","year":"2004","unstructured":"Queinnec, C.: Continuations and Web Servers. Higher-Order and Symbolic Computation\u00a017(4), 277\u2013295 (2004)","journal-title":"Higher-Order and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","FM 2009: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05089-3_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T11:27:20Z","timestamp":1685186840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05089-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050886","9783642050893"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05089-3_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}