{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T16:10:21Z","timestamp":1743523821022,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642309465"},{"type":"electronic","value":"9783642309472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30947-2_57","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:16:30Z","timestamp":1340010990000},"page":"524-533","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Trusted Web Applications"],"prefix":"10.1007","author":[{"given":"Mohammed Y.","family":"Alzahrani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lilia","family":"Georgieva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","first-page":"423","volume-title":"FORTE XI \/ PSTV XVIII","author":"D. Bosnacki","year":"1998","unstructured":"Bosnacki, D., Dams, D.: Integrating real time into SPIN: A prototype implementation. In: FORTE XI \/ PSTV XVIII, pp. 423\u2013438. Kluwer, B. V. (1998)"},{"key":"57_CR2","unstructured":"Bratman, M.: Intention, plans, and practical reason. Harvard University Press (1987)"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"Cheng, Y., Kang, W., Xiao, M.: Model checking of SSL 3.0 protocol based on SPIN. In: 2nd International Conference on Industrial and Information Systems, vol.\u00a02, pp. 401\u2013403. IEEE (2010)","DOI":"10.1109\/INDUSIS.2010.5565737"},{"key":"57_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-22636-6_2","volume-title":"Agent-Oriented Software Engineering XI","author":"A.K. Chopra","year":"2011","unstructured":"Chopra, A.K., Oren, N., Modgil, S., Desai, N., Miles, S., Luck, M., Singh, M.P.: Analyzing Contract Robustness through a Model of Commitments. In: Weyns, D., Gleizes, M.-P. (eds.) AOSE 2010. LNCS, vol.\u00a06788, pp. 17\u201336. Springer, Heidelberg (2011)"},{"key":"57_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69850-0_1","volume-title":"25 Years of Model Checking","author":"E.M. Clarke","year":"2008","unstructured":"Clarke, E.M.: The Birth of Model Checking. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol.\u00a05000, pp. 1\u201326. Springer, Heidelberg (2008)"},{"issue":"6","key":"57_CR6","doi-asserted-by":"crossref","first-page":"619","DOI":"10.3233\/JCS-2007-15603","volume":"15","author":"R. Corin","year":"2007","unstructured":"Corin, R., Etalle, S., Hartel, P.H., Mader, A.: Timed analysis of security protocols. Journal of Computer Security\u00a015(6), 619\u2013645 (2007)","journal-title":"Journal of Computer Security"},{"issue":"3","key":"57_CR7","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1016\/j.jcss.2006.10.006","volume":"73","author":"A. Deutsch","year":"2007","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. Journal of Computer and System Sciences\u00a073(3), 442\u2013474 (2007)","journal-title":"Journal of Computer and System Sciences"},{"key":"57_CR8","doi-asserted-by":"crossref","unstructured":"Di Sciascio, E., Donini, F.M., Mongiello, M., Piscitelli, G.: Web applications design and maintenance using symbolic model checking. In: Seventh European Conference on Software Maintenance and Reengineering, pp. 63\u201372. IEEE (2003)","DOI":"10.1109\/CSMR.2003.1192411"},{"issue":"2","key":"57_CR9","first-page":"19","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. ENTCS\u00a0151(2), 19\u201332 (2006)","journal-title":"ENTCS"},{"key":"57_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/1408664.1408680","volume-title":"Proc. of the 4th Symposium on Usable Privacy and Security","author":"L. Falk","year":"2008","unstructured":"Falk, L., Prakash, A., Borders, K.: Analyzing websites for user-visible security design flaws. In: Proc. of the 4th Symposium on Usable Privacy and Security, pp. 117\u2013126. ACM, New York (2008)"},{"key":"57_CR11","unstructured":"Open\u00a0Security Fundation. Data loss database annual report (2010), http:\/\/datalossdb.org\/reports"},{"key":"57_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-30232-2_8","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"M. Haydar","year":"2004","unstructured":"Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 115\u2013132. Springer, Heidelberg (2004)"},{"key":"57_CR13","doi-asserted-by":"crossref","unstructured":"Hole, K., Moen, V., Tjostheim, T.: Case study: Online banking security. IEEE Security and Privacy (2006)","DOI":"10.1109\/MSP.2006.36"},{"key":"57_CR14","unstructured":"Holzmann, G.J.: The SPIN model checker: Primer and reference manual. Addison-Wesley Professional (2004)"},{"issue":"5","key":"57_CR15","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1587\/transinf.E94.D.989","volume":"94","author":"K. Homma","year":"2011","unstructured":"Homma, K., Izumi, S., Takahashi, K., Togashi, A.: Modeling, verification and testing of web applications using model checker. IEICE Transactions on Information and Systems\u00a094(5), 989\u2013999 (2011)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"57_CR16","doi-asserted-by":"crossref","unstructured":"Huang, Y.W., Lee, D.T.: Web application security past, present, and future. In: Computer Security in the 21st Century, pp. 183\u2013227 (2005)","DOI":"10.1007\/0-387-24006-3_12"},{"key":"57_CR17","doi-asserted-by":"crossref","unstructured":"Jovanovic, N., Kruegel, C., Kirda, E.: Pixy: A static analysis tool for detecting web application vulnerabilities (short paper). In: IEEE Symposium on Security and Privacy (2006)","DOI":"10.1109\/SP.2006.29"},{"key":"57_CR18","doi-asserted-by":"crossref","unstructured":"Kung, D.C., Liu, C.H., Hsia, P.: An object-oriented web test model for testing web applications. In: Proc. of the Conference on Quality Software. First Asia-Pacific, pp. 111\u2013120. IEEE (2000)","DOI":"10.1109\/APAQ.2000.883784"},{"key":"57_CR19","doi-asserted-by":"crossref","unstructured":"Maggi, P., Sisto, R.: Using SPIN to verify security properties of cryptographic protocols. Model Checking Software, 85\u201387 (2002)","DOI":"10.1007\/3-540-46017-9_14"},{"key":"57_CR20","doi-asserted-by":"crossref","unstructured":"Miao, H., Zeng, H.: Model checking-based verification of web application. Engineering Complex Computer Systems (2007)","DOI":"10.1109\/ICECCS.2007.30"},{"key":"57_CR21","doi-asserted-by":"crossref","unstructured":"Ricca, F., Tonella, P.: Analysis and testing of web applications. In: ICSE, pp. 25\u201334. IEEE Computer Society (2001)","DOI":"10.1109\/ICSE.2001.919078"},{"key":"57_CR22","unstructured":"Singh, M.: Agent communication languages: Rethinking the principles. IEEE Computer Society (1987)"},{"issue":"99","key":"57_CR23","first-page":"1","volume":"PP","author":"P. Telang","year":"2011","unstructured":"Telang, P., Singh, M.: Specifying and verifying cross-organizational business models: An agent-oriented approach. IEEE Transactions on Services Computing\u00a0PP(99), 1 (2011)","journal-title":"IEEE Transactions on Services Computing"},{"key":"57_CR24","unstructured":"Uppsala University and Aalborg University. Uppaal model checker (2011), http:\/\/www.uppaal.org\/"},{"key":"57_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The State Explosion Problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"key":"57_CR26","unstructured":"Walton, C.: Model checking for multi-agent systems. Journal of Applied Logic (Special Issue on Logic-Based Agent Verification) (2006)"},{"key":"57_CR27","unstructured":"Whitten, A., Tygar, J.D.: Why johnny can\u2019t encrypt: A usability evaluation of pgp 5.0. In: Proceedings of the 8th USENIX Security Symposium, vol.\u00a099 (1999)"},{"issue":"1","key":"57_CR28","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1010090027213","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems\u00a03(1), 9\u201331 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"57_CR29","unstructured":"Wu, Y., Offutt, J.: Modeling and testing web-based applications. Technical report, George Mason University (2002)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems. Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30947-2_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T15:57:35Z","timestamp":1743523055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30947-2_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642309465","9783642309472"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30947-2_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}