{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T17:33:51Z","timestamp":1783791231751,"version":"3.55.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/dsn.2004.1311890","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"199-208","source":"Crossref","is-referenced-by-count":17,"title":["Verifying Web applications using bounded model checking"],"prefix":"10.1109","author":[{"family":"Yao-Wen Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Fang Yu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Hang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Chung-Hung Tsai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.T.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Sy-Yen Kuo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A Guide to Building Secure Web Applications","volume":"1 1 1","author":"curphey","year":"2002","journal-title":"The Open Web Application Security Project"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775174"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988679"},{"key":"ref15","article-title":"PHP: Most Popular Server-Side Web Scripting Technology","author":"hughes","year":"0","journal-title":"LWN net"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-36384-X_24","article-title":"Efficient Computation of Recurrence Diameters","volume":"lncs 2575","author":"kroening","year":"2003","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref17","article-title":"Improving Web Application Security—Threats and Countermeasures","author":"meier","year":"2003","journal-title":"Microsoft Corporation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028932"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1218074"},{"key":"ref4","first-page":"317","article-title":"Symbolic Model Checking using SAT Procedures instead of BDDs","author":"biere","year":"1999","journal-title":"Proc 36th Design Automation Conference"},{"key":"ref27","article-title":"PHPXref: PHP Cross Referencing Documentation Generator","author":"watts","year":"2003"},{"key":"ref3","first-page":"193","article-title":"Symbolic Model Checking without BDDs","volume":"lncs 1579","author":"biere","year":"1999","journal-title":"Proc 5th Int'l Conf Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref6","article-title":"Behavioral Consistency of C and Verilog Programs using Bounded Model Checking","author":"clarke","year":"2003","journal-title":"Technical Report CMU-C S-03-126"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239917"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.3.233"},{"key":"ref8","article-title":"ANSI-C Bounded Model Checker User Manual","author":"clarke","year":"2003","journal-title":"School of Computer Science"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1145\/775832.775928","article-title":"Behavioral Consistency of C and Verilog Programs using Bounded Model Checking","author":"clarke","year":"2003","journal-title":"Proc 40th Design Automation Conference Session 23 3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604140"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/581407.581409"},{"key":"ref20","article-title":"The Ten Most Critical Web Application Security Vulnerabilities","year":"2003","journal-title":"OWASP Whitepaper version 1 0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/2.241422"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511498"},{"key":"ref23","first-page":"154","article-title":"Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods","volume":"lncs 2725","author":"sanjit","year":"2003","journal-title":"Proc 15th Int'l Conf Computer-Aided Verification"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"ref25","first-page":"201","article-title":"Detecting Format String Vulnerabilities with Type Qualifiers","author":"shankar","year":"2002","journal-title":"Proc 10th USENIX Security Symposium"}],"event":{"name":"International Conference on Dependable Systems and Networks, 2004","location":"Florence, Italy","start":{"date-parts":[[2004,7,1]]},"end":{"date-parts":[[2004,7,1]]}},"container-title":["International Conference on Dependable Systems and Networks, 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9172\/29105\/01311890.pdf?arnumber=1311890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T08:27:50Z","timestamp":1624868870000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1311890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/dsn.2004.1311890","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}