{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:47Z","timestamp":1725488867259},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73597-7_22","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T20:09:58Z","timestamp":1186949398000},"page":"269-284","source":"Crossref","is-referenced-by-count":6,"title":["A Transformation-Driven Approach to the Verification of Security Policies in Web Designs"],"prefix":"10.1007","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paloma","family":"D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ignacio","family":"Aedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"22_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0950-5849(02)00159-3","volume":"45","author":"I. Aedo","year":"2003","unstructured":"Aedo, I., D\u00edaz, P., Montero, S.: A methodological approach for hypermedia security modelling. Inform. Software Technol.\u00a045(5), 229\u2013239 (2003)","journal-title":"Inform. Software Technol."},{"key":"22_CR2","unstructured":"ANSI INCITS 359-2004. Role Based Access Control (2004)"},{"key":"22_CR3","unstructured":"Ayachit, M.M., Xu, H.: A Petri Net based XML Firewall Security Model for Web Services Invocation. In: Proc. (547) Communication, Network, and Information Security (2006)"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D.M. Berry","year":"2002","unstructured":"Berry, D.M.: Formal methods: the very idea. Some thoughts about why they work when they work. Science of Computer Programming\u00a042(1), 11\u201327 (2002)","journal-title":"In Science of Computer Programming"},{"key":"22_CR5","volume-title":"Designing Data-Intensive Web Applications","author":"S. Ceri","year":"2003","unstructured":"Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Elsevier, Amsterdam (2003)"},{"key":"22_CR6","series-title":"NATO ASI Series F","volume-title":"Deductive Program Design","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Grumberg, O., Long, D.: Model Checking. In: Broy, M. (ed.) Deductive Program Design. Proceedings of the International Summer School on Deductive Program Design Marktoberdorf, Germany, 1994. NATO ASI Series F, vol.\u00a0152, Springer, Heidelberg (1996)"},{"issue":"8","key":"22_CR7","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0306-4379(97)00028-8","volume":"22","author":"P. D\u00edaz","year":"1997","unstructured":"D\u00edaz, P., Aedo, I., Panetsos, F.: Labyrinth, an abstract model for hypermedia applications. description of its static components. Information Systems\u00a022(8), 447\u2013464 (1997)","journal-title":"Information Systems"},{"issue":"8","key":"22_CR8","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1016\/j.is.2004.09.001","volume":"30","author":"P. D\u00edaz","year":"2005","unstructured":"D\u00edaz, P., Montero, S., Aedo, I.: Modelling hypermedia and web applications: the Ariadne Development Method. Information Systems\u00a030(8), 649\u2013673 (2005)","journal-title":"Information Systems"},{"key":"22_CR9","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"22_CR10","volume-title":"Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: Monographs in Theoretical Computer Science, Springer, Heidelberg (2006)"},{"key":"22_CR11","first-page":"23","volume-title":"Proc. of Hypertext\u201902","author":"R. Furuta","year":"2002","unstructured":"Furuta, R., Na, J.: Applying programmable browsing semantics within the context of the world-wide web. In: Proc. of Hypertext\u201902, pp. 23\u201324. ACM Press, New York (2002)"},{"key":"22_CR12","first-page":"284","volume-title":"Proc. VL\/HCC\u201905","author":"E. Guerra","year":"2005","unstructured":"Guerra, E., D\u00edaz, P., de Lara, J.: A formal approach to the generation of visual language environments supporting multiple views. In: Proc. VL\/HCC\u201905, pp. 284\u2013286. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"22_CR13","unstructured":"Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. Tech. Report UC3M-TR-CS-06-01, Universidad Carlos III (2006)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/11841883_25","volume-title":"Graph Transformations","author":"E. Guerra","year":"2006","unstructured":"Guerra, E., de Lara, J.: Model View Management with Triple Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 351\u2013366. Springer, Heidelberg (2006)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/3-540-45068-8_92","volume-title":"Web Engineering","author":"N. Koch","year":"2003","unstructured":"Koch, N., Kraus, A.: Towards a Common Metamodel for the Development of Web Applications. In: Lovelle, J.M.C., Rodr\u00edguez, B.M.G., Gayo, J.E.L., Ruiz, M.d.P.P., Aguilar, L.J. (eds.) ICWE 2003. LNCS, vol.\u00a02722, pp. 497\u2013506. Springer, Heidelberg (2003)"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-36578-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Koch","year":"2003","unstructured":"Koch, M., Parisi-Presicce, F.: Visual Specifications of Policies and Their Verification. In: Pezz\u00e9, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol.\u00a02621, pp. 278\u2013293. Springer, Heidelberg (2003)"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","first-page":"174","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM 3: A tool for multi-formalism modelling and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306, pp. 174\u2013188. Springer, Heidelberg (2002)"},{"issue":"4","key":"22_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/1187441.1187442","volume":"9","author":"N. Li","year":"2006","unstructured":"Li, N., Tripunitara, M.V.: Security Analysis in Role-Based Access Control. ACM Transactions on Information and System Security\u00a09(4), 391\u2013420 (2006)","journal-title":"ACM Transactions on Information and System Security"},{"key":"22_CR19","unstructured":"Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Execution of UML Models with CPN Tools for Workflow Requirements Validation. In: Proc. of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. pp. 231\u2013250 (2005)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. In: Proceedings of the IEEE, vol. 77(4) pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Schaad, A., Lotz, V., Sohr, K.: A Model-checking Approach to Analysing Organisational Controls in a Loan Origination Process SACMAT 2006. pp. 139\u2013149 (2006)","DOI":"10.1145\/1133058.1133079"},{"issue":"1","key":"22_CR22","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1093\/ietfec\/E88-A.1.327","volume":"88","author":"W. Shin","year":"2005","unstructured":"Shin, W., Lee, J.G., Kim, H.K., Sakurai, K.: Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling. IEICE Trans. on Fundamentals\u00a088(1), 327\u2013330 (2005)","journal-title":"IEICE Trans. on Fundamentals"},{"issue":"2","key":"22_CR23","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Varr\u00f3, G., Pataricza, A.: Designing the automatic transformation of visual languages. Sci. Comp. Programming\u00a044(2), 205\u2013227 (2002)","journal-title":"Sci. Comp. Programming"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-45923-5_24","volume-title":"Fundamental Approaches to Software Engineering","author":"F. Xie","year":"2002","unstructured":"Xie, F., Levin, V., Browne, J.C.: ObjectCheck: A Model Checking Tool for Executable Object-oriented Software System Designs. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306, pp. 331\u2013335. Springer, Heidelberg (2002)"},{"key":"22_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1007\/11556992_32","volume-title":"Information Security","author":"N. Zhang","year":"2005","unstructured":"Zhang, N., Ryan, M., Guelev, D.P.: Evaluating Access Control Policies Through Model Checking. In: Zhou, J., Lopez, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol.\u00a03650, pp. 446\u2013460. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Web Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73597-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:53:18Z","timestamp":1619517198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73597-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735960"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73597-7_22","relation":{},"subject":[]}}