{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:16:51Z","timestamp":1729635411639,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/saint.2008.17","type":"proceedings-article","created":{"date-parts":[[2008,8,27]],"date-time":"2008-08-27T14:14:54Z","timestamp":1219846494000},"page":"104-110","source":"Crossref","is-referenced-by-count":2,"title":["An Abstract Generic Framework for Web Site Verification"],"prefix":"10.1109","author":[{"given":"M.","family":"Alpuente","sequence":"first","affiliation":[]},{"given":"P.","family":"Ojeda","sequence":"additional","affiliation":[]},{"given":"D.","family":"Romero","sequence":"additional","affiliation":[]},{"given":"D.","family":"Ballis","sequence":"additional","affiliation":[]},{"given":"M.","family":"Falaschi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"379","article-title":"homeomorphic embedding for online termination of symbolic methods","volume":"2566","author":"leuschel","year":"2002","journal-title":"LNCS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1007568.1007599"},{"key":"17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/JCM-2006-6S109","article-title":"advanced method for cryptographic protocol verification","volume":"6","author":"kadhi","year":"2006","journal-title":"Journal of Computational Methods in Science and Engineering"},{"journal-title":"Term Rewriting Systems","year":"2003","key":"23"},{"key":"18","first-page":"263","article-title":"verification of communication protocols using abstract interpretation of fifo queues","volume":"4019","author":"legall","year":"2006","journal-title":"LNCS"},{"key":"15","first-page":"614","article-title":"verifying integrity constraints on web sites","author":"fernandez","year":"1999","journal-title":"Proc of 16th Int'l Joint Conf on Artificial Intelligence (IJCAI'99)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1995.492576"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"14","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/B978-044450813-3\/50011-4","article-title":"rewriting","volume":"1","author":"dershowitz","year":"2001","journal-title":"Handbook of Automated Reasoning"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"21","article-title":"veriweb: automatically testing dynamic web sites","author":"michael","year":"2002","journal-title":"Proc of 11th Int'l WWW Conference"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0009-7"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.047"},{"key":"2","first-page":"337","article-title":"model checking the world wide web","volume":"2102","author":"alfaro","year":"2001","journal-title":"LNCS"},{"year":"0","key":"1"},{"key":"10","first-page":"76","article-title":"the maude 2.0 system","volume":"2706","author":"clavel","year":"2003","journal-title":"LNCS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.041"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/SAINT.2008.17"},{"year":"0","key":"4"},{"journal-title":"Centrum voor Wiskunde en Informatica XMark - an XML Benchmark Project","year":"2001","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012722442-8\/50021-5"}],"event":{"name":"2008 International Symposium on Applications and the Internet","start":{"date-parts":[[2008,7,28]]},"location":"Turku, Finland","end":{"date-parts":[[2008,8,1]]}},"container-title":["2008 International Symposium on Applications and the Internet"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4604513\/4604514\/04604550.pdf?arnumber=4604550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:43:20Z","timestamp":1557751400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4604550\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/saint.2008.17","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}