{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:07:50Z","timestamp":1743116870016,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245107"},{"type":"electronic","value":"9783642245114"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24511-4_19","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T01:22:05Z","timestamp":1317864125000},"page":"239-253","source":"Crossref","is-referenced-by-count":8,"title":["Modeling Secure Navigation in Web Information Systems"],"prefix":"10.1007","author":[{"given":"Marianne","family":"Busch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Security Engineering: A Guide to Building Dependable Distributed Systems","author":"R.J. Anderson","year":"2008","unstructured":"Anderson, R.J.: Security Engineering: A Guide to Building Dependable Distributed Systems, 2nd edn. Wiley, Chichester (2008)","edition":"2"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-540-30482-1_36","volume-title":"Formal Methods and Software Engineering","author":"M. Balser","year":"2004","unstructured":"Balser, M., B\u00e4umler, S., Knapp, A., Reif, W., Thums, A.: Interactive Verification of UML State Machines. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 434\u2013448. Springer, Heidelberg (2004)"},{"key":"19_CR3","unstructured":"Busch, M.: Integration of Security Aspects in Web Engineering. Master\u2019s thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2011), \n                    \n                      http:\/\/uwe.pst.ifi.lmu.de\/publications\/BuschDA.pdf"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-642-02818-2_49","volume-title":"Web Engineering","author":"M. Busch","year":"2009","unstructured":"Busch, M., Koch, N.: MagicUWE \u2013 A CASE Tool Plugin for Modeling Web Applications. In: Gaedke, M., Grossniklaus, M., D\u00edaz, O. (eds.) ICWE 2009. LNCS, vol.\u00a05648, pp. 505\u2013508. Springer, Heidelberg (2009)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-69100-6_22","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"M. Clavel","year":"2008","unstructured":"Clavel, M., da Silva, V., Braga, C., Egea, M.: Model-Driven Security in Practice: An Industrial Experience. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 326\u2013337. Springer, Heidelberg (2008)"},{"issue":"3","key":"19_CR6","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10270-010-0155-y","volume":"10","author":"S. Gilmore","year":"2011","unstructured":"Gilmore, S., G\u00f6nczy, L., Koch, N., Mayer, P., Tribastone, M., Varr\u00f3, D.: Non-functional Properties in the Model-Driven Development of Service-Oriented Systems. J. Softw. Syst. Model.\u00a010(3), 287\u2013311 (2011)","journal-title":"J. Softw. Syst. Model."},{"key":"19_CR7","unstructured":"Gnesi, S., Mazzanti, F.: On-The-Fly Model Checking of Communicating UML State Machines. In: Proc. 2nd ACIS Int. Conf. Software Engineering Research, Management and Applications (SERA 2004), Los Angeles (2004)"},{"key":"19_CR8","volume-title":"Security Engineering for Service-Oriented Architectures","author":"M. Hafner","year":"2008","unstructured":"Hafner, M., Breu, R.: Security Engineering for Service-Oriented Architectures. Springer, Heidelberg (2008)"},{"key":"19_CR9","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison\u2013Wesley, London (2004)"},{"key":"19_CR10","volume-title":"Secure Systems Development with UML","author":"J. J\u00fcrjens","year":"2004","unstructured":"J\u00fcrjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004); Tools and further information, \n                    \n                      http:\/\/www.umlsec.de\/"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking - Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 395\u2013416. Springer, Heidelberg (2002)"},{"key":"19_CR12","series-title":"Human-Computer Interaction Series","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-1-84628-923-1_7","volume-title":"Web Engineering: Modelling and Implementing Web Applications","author":"N. Koch","year":"2008","unstructured":"Koch, N., Knapp, A., Zhang, G., Baumeister, H.: UML-based Web Engineering: An Approach based on Standards. In: Web Engineering: Modelling and Implementing Web Applications. Human-Computer Interaction Series, pp. 157\u2013191. Springer, Heidelberg (2008)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-45800-X_33","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"T. Lodderstedt","year":"2002","unstructured":"Lodderstedt, T., Basin, D., Doser, J.: SecureUML: A UML-Based Modeling Language for Model-Driven Security. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 426\u2013441. Springer, Heidelberg (2002)"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/ICWE.2008.36","volume-title":"Proc. 8th Int. Conf. Web Engineering (ICWE 2008)","author":"S. Meli\u00e1","year":"2008","unstructured":"Meli\u00e1, S., G\u00f3mez, J., P\u00e9rez, S., D\u00edaz, O.: A Model-Driven Development for GWT-Based Rich Internet Applications with OOH4RIA. In: Proc. 8th Int. Conf. Web Engineering (ICWE 2008), pp. 13\u201323. IEEE, Los Alamitos (2008)"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/SCC.2009.57","volume-title":"Proc. 2009 IEEE Int. Conf. Services Computing (SCC 2009)","author":"M. Menzel","year":"2009","unstructured":"Menzel, M., Meinel, C.: A Security Meta-model for Service-Oriented Architectures. In: Proc. 2009 IEEE Int. Conf. Services Computing (SCC 2009), pp. 251\u2013259. IEEE, Los Alamitos (2009)"},{"issue":"3","key":"19_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1049\/iet-sen:20060067","volume":"1","author":"N. Moreno","year":"2007","unstructured":"Moreno, N., Fraternali, P., Vallecillo, A.: WebML modelling in UML. IET Software\u00a01(3), 67 (2007)","journal-title":"IET Software"},{"key":"19_CR17","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/b11930","volume-title":"Security Engineering with Patterns: Origins, Theoretical Models, and New Applications","author":"M. Schumacher","year":"2003","unstructured":"Schumacher, M.: Security Engineering with Patterns: Origins, Theoretical Models, and New Applications. LNCS, vol.\u00a02754. Springer, Heidelberg (2003)"},{"key":"19_CR18","unstructured":"Valverde, F., Pastor, O.: Applying Interaction Patterns: Towards a Model-Driven Approach for Rich Internet Applications Development. In: Proc. 7th Int. Wsh. Web-Oriented Software Technologies, IWWOST 2008 (2008)"},{"key":"19_CR19","series-title":"LNCS","volume-title":"Wsh. Proc. 11th Int. Conf. Web Engineering (ICWE 2011)","author":"G. Zhang","year":"2011","unstructured":"Zhang, G., H\u00f6lzl, M.: Aspect-Oriented Modeling of Web Applications with HiLA. In: Wsh. Proc. 11th Int. Conf. Web Engineering (ICWE 2011). LNCS. Springer, Heidelberg (to appear, 2011)"}],"container-title":["Lecture Notes in Business Information Processing","Perspectives in Business Informatics Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24511-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:57:07Z","timestamp":1558378627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24511-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245107","9783642245114"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24511-4_19","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}