{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T16:00:38Z","timestamp":1781020838755,"version":"3.54.1"},"reference-count":106,"publisher":"Elsevier","isbn-type":[{"value":"9780128001622","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1016\/b978-0-12-800162-2.00003-8","type":"book-chapter","created":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T02:02:12Z","timestamp":1393639332000},"page":"103-152","source":"Crossref","is-referenced-by-count":26,"title":["Advances in Model-Driven Security"],"prefix":"10.1016","author":[{"given":"Levi","family":"L\u00facio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qin","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Phu H.","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moussa","family":"Amrani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacques","family":"Klein","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yves Le","family":"Traon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0005","series-title":"On the Move to Meaningful Internet Systems: OTM 2009","first-page":"887","article-title":"Model-driven configuration of SELinux policies","volume":"vol. 5871","author":"Agreiter","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0010","series-title":"Proceedings of the 8th IEEE International Multitopic Conference, INMIC 2004","first-page":"498","article-title":"Model driven security for web services (MDS4WS)","author":"Alam","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0015","first-page":"47","article-title":"Model-driven security engineering for trust management in SECTET","volume":"vol. 2","author":"Alam","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0020","series-title":"Proceedings of the International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006","first-page":"13:1","article-title":"A constraint based role based access control in the SECTET a model-driven approach","author":"Alam","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0025","series-title":"Proceedings of the International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006","first-page":"44:1","article-title":"Constraint based role based access control (CRBAC) for restricted administrative delegation constraints in the SECTET","author":"Alam","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0030","series-title":"Proceedings of the Third International Conference on Trust, Privacy, and Security in Digital Business, TrustBus 2006","first-page":"142","article-title":"A framework for modeling restricted delegation in service oriented architecture","author":"Alam","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0035","series-title":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007","first-page":"75","article-title":"A model-driven framework for trusted computing based systems","author":"Alam","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0040","series-title":"Proceedings of the Fifth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012","first-page":"921","article-title":"A tridimensional approach for studying the formal verification of model transformations","author":"Amrani","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0045","series-title":"Proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005","first-page":"281","article-title":"The AVISPA tool for the automated validation of internet security protocols and applications","author":"Armando","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0050","series-title":"Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011","first-page":"67","article-title":"Orthographic service modeling","author":"Atkinson","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0055","unstructured":"ATLAS, ATLAS Transformation Language. <http:\/\/www.eclipse.org\/m2m\/atl\/>, 2008."},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0060","first-page":"815","article-title":"Automated analysis of security-design models","volume":"vol. 51","author":"Basin","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0065","series-title":"Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011","first-page":"1","article-title":"A decade of model-driven security","author":"Basin","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0070","series-title":"Proceedings of the International Symposium on Engineering Secure Software and Systems, ESSoS 2010","first-page":"201","article-title":"Automatic generation of smart, security-aware GUI models","author":"Basin","year":"2010"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0075","series-title":"Proceedings of the 8th ACM Symposium on Access Control Models and Technologies, SACMAT 2003","first-page":"100","article-title":"Model driven security for process-oriented systems","author":"Basin","year":"2003"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0080","first-page":"39","article-title":"Model driven security: from UML models to access control infrastructures","volume":"vol. 15","author":"Basin","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0085","series-title":"Proceedings of the 29th International Conference on Software Engineering, ICSE 2007","first-page":"581","article-title":"Model-based security engineering of distributed information systems using UMLsec","author":"Best","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0090","series-title":"Generative and Transformational Techniques in Software Engineering","first-page":"36","article-title":"Model driven engineering: an emerging technical space","volume":"vol. 4143","author":"Bezivin","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0095","series-title":"Information Systems and e-Business Technologies","first-page":"59","article-title":"Model-driven security engineering of service oriented systems","volume":"vol. 5","author":"Breu","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0100","series-title":"E-Government: Towards Electronic Democracy","first-page":"122","article-title":"Model driven security for inter-organizational workflows in e-Government","volume":"vol. 3416","author":"Breu","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0105","first-page":"457","article-title":"Model based development of access policies","volume":"vol. 9","author":"Breu","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0110","series-title":"Proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012","first-page":"198","article-title":"Verification of ATL transformations using transformation models and model finders","author":"B\u00fcttner","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0115","series-title":"Composition of object-oriented software design models","author":"Clarke","year":"2001"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0120","series-title":"Aspect-Oriented Analysis and Design: The Theme Approach","author":"Clarke","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0125","series-title":"Proceedings of 4th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008","first-page":"326","article-title":"Model-driven security in practice: an industrial experience","author":"Clavel","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0130","series-title":"Domain-Specific Development with Visual Studio DSL Tools","author":"Cook","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0135","series-title":"Proceedings of the 6th International Conference on Aspect-Oriented Software Development (Industry Track), AOSD 2007, Vancouver, Canada","article-title":"The motorola WEAVR: model weaving in a large industrial context","author":"Cottenier","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0140","series-title":"Proceedings of the 24th International Conference on Software Engineering, ICSE 2002","first-page":"699","article-title":"Non-functional requirements: from elicitation to modelling languages","author":"Cysneiros","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0145","series-title":"Proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008","first-page":"118","article-title":"A privacy-preserving ehealth protocol compliant with the belgian healthcare system","volume":"vol. 5057","author":"Decker","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0150","unstructured":"G. Dupe, M. Belaunde, R. Perruchon, H. Besnard, F. Guillard, V. Oliveres, SmartQVT. <http:\/\/smartqvt.elibel.tm.fr\/>."},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0155","series-title":"Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)","author":"Ehrig","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0160","first-page":"463","article-title":"Designing secure databases","volume":"vol. 47","author":"Fern\u00e1ndez-Medina","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0165","series-title":"Proceedings of the 11th International Workshop on Aspect-Oriented Modeling, AOM at MoDELS 2007","first-page":"7","article-title":"A generic approach for automatic model composition","author":"Fleurey","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0170","first-page":"173","article-title":"Aspect-oriented approach to early design modelling","volume":"vol. 151","author":"France","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0175","first-page":"5","article-title":"Automated verification of model transformations based on visual contracts","volume":"vol. 20","author":"Guerra","year":"2013"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0180","series-title":"Model Driven Engineering Languages and Systems","first-page":"275","article-title":"Towards a MOF\/QVT-based domain architecture for model driven security","volume":"vol. 4199","author":"Hafner","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0185","series-title":"Proceedings of the IEEE International Conference on Web Services, ICWS 2005","first-page":"533","article-title":"Modeling inter-organizational workflow security in a peer-to-peer environment","author":"Hafner","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0190","series-title":"Security Engineering for Service-Oriented Architectures","author":"Hafner","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0195","first-page":"491","article-title":"SECTET: an extensible framework for the realization of secure inter-organizational workflows","volume":"vol. 16","author":"Hafner","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0200","series-title":"Models in Software Engineering","first-page":"132","article-title":"Modeling and enforcing advanced access control policies in healthcare systems with SECTET","volume":"vol. 5002","author":"Hafner","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0205","series-title":"Fundamental Approaches to Software Engineering","first-page":"232","article-title":"Systematic development of UMLsec design models based on security requirements","volume":"vol. 6603","author":"Hatebur","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0210","series-title":"Proceedings of the 10th Asia-Pacific Software Engineering Conference, APSection 2003","first-page":"488","article-title":"Developing secure networked web-based systems using model-based risk assessment and UMLsec","author":"Houmb","year":"2003"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0215","series-title":"The Security Development Lifecycle","author":"Howard","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0220","series-title":"Software Abstractions: Logic, Language and Analysis","author":"Jackson","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0225","series-title":"Aspect-Oriented Software Development with Use Cases","author":"Jacobson","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0230","series-title":"Proceedings of the 6th International Conference on Availability, Reliability and Security, ARES 2011","first-page":"704","article-title":"Security in model driven development: a survey","author":"Jensen","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0235","series-title":"Fundamental Approaches to Software Engineering","first-page":"187","article-title":"Towards development of secure systems using UMLsec","volume":"vol. 2029","author":"J\u00fcrjens","year":"2001"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0240","series-title":"Proceedings of the IFIP TC6\/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002","first-page":"29","article-title":"Formal semantics for interacting UML subsystems","author":"J\u00fcrjens","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0245","series-title":"Principles for secure systems design","author":"J\u00fcrjens","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0250","series-title":"UML 2002 - The Unified Modeling Language","first-page":"412","article-title":"UMLsec: extending UML for secure systems development","volume":"vol. 2460","author":"J\u00fcrjens","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0255","series-title":"Proceedings of the 4th International School on Foundations of Security Analysis and Design, FOSAD 2004","first-page":"42","article-title":"Model-based security engineering with UML","author":"J\u00fcrjens","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0260","series-title":"Proceedings of the 21st Annual Computer Security Applications Conference, ACSAC 2005","first-page":"138","article-title":"Code security analysis of a biometric authentication system using automated theorem provers","author":"J\u00fcrjens","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0265","series-title":"Secure systems development with UML","author":"J\u00fcrjens","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0270","series-title":"Proceedings of the 27th International Conference on Software Engineering, ICSE 2005","first-page":"322","article-title":"Sound methods and effective tools for model-based security engineering with UML","author":"J\u00fcrjens","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0275","series-title":"Proceedings of the 29th International Conference on Software Engineering, ICSE 2007","first-page":"182","article-title":"Developing secure embedded systems: pitfalls and how to avoid them","author":"J\u00fcrjens","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0280","series-title":"Proceedings of the 30th International Conference on Software Engineering, ICSE 2008","first-page":"683","article-title":"Model-based security analysis for mobile communications","author":"J\u00fcrjens","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0285","series-title":"Proceedings of the 44th Hawaii International Conference on System Sciences, HICSS-44 2011","first-page":"1","article-title":"Model-driven development meets security: an evaluation of current approaches","author":"Kasal","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0290","first-page":"581","article-title":"A synthesis of evaluation criteria for software specifications and specification techniques","volume":"vol. 12","author":"Khwaja","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0295","first-page":"220","article-title":"Aspect-oriented programming","volume":"vol. 1241","author":"Kiczales","year":"1997"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0300","series-title":"Transactions on Aspect-Oriented Software Development VII","first-page":"272","article-title":"Aspect-oriented design with reusable aspect models","volume":"vol. 6210","author":"Kienzle","year":"2010"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0305","series-title":"Transactions on Aspect-Oriented Software Development (TAOSD)","first-page":"167","article-title":"Weaving multiple aspects in sequence diagrams","volume":"vol. 4620","author":"Klein","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0310","series-title":"Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006","first-page":"27","article-title":"Semantic-based weaving of scenarios","author":"Klein","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0315","series-title":"Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009","first-page":"514","article-title":"Aspect model unweaving","author":"Klein","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0320","series-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe","year":"2003"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0325","series-title":"Proceedings of the 6th International Conference on the Theory and Practice of Model Transformations, ICMT 2013","first-page":"108","article-title":"Achieving practical genericity in model weaving through extensibility","author":"Kramer","year":"2013"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0330","series-title":"Proceedings of the 1st Workshop on Modeling Security, MODSEC 2008, CEUR Workshop Proceedings (CEUR-WS.org), Toulouse, France","article-title":"Model driven security management: making security management manageable in complex distributed systems","author":"Lang","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0335","series-title":"Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002","first-page":"174","article-title":"AToM3: a tool for multi-formalism and meta-modelling","author":"de Lara","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0340","series-title":"Proceedings of the 23rd IFIP WG Working Conference on Data and Applications Security","first-page":"95","article-title":"Privacy-preserving telemonitoring for ehealth","volume":"vol. 5645","author":"Layouni","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0345","series-title":"Model Driven Engineering Languages and Systems","first-page":"77","article-title":"Security analysis of a biometric authentication system using UMLsec and JML","volume":"vol. 5795","author":"Lloyd","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0350","series-title":"Model driven security from UML models to access control architectures","author":"Lodderstedt","year":"2003"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0355","series-title":"\u226aUML\u226b2002 - The Unified Modeling Language","first-page":"426","article-title":"SecureUML: a UML-based modeling language for model-driven security","volume":"vol. 2460","author":"Lodderstedt","year":"2002"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0360","series-title":"Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010","first-page":"136","article-title":"A technique for automatic validation of model transformations","author":"L\u00facio","year":"2010"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0365","first-page":"151","article-title":"Model-driven security: from theory to application","volume":"vol. 5","author":"Ma","year":"2013"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0370","series-title":"Model-Driven Security: Enabling a Real-Time, Adaptive Security Infrastructure","author":"MacDonald","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0375","unstructured":"Metacase, Domain-Specific Modeling with MetaEdit+: 10 times Faster than UML, White Paper, 2009."},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0380","series-title":"Proceedings of the 1st International Workshop on Model-Driven Security","first-page":"1","article-title":"Incremental development of large, secure smart card applications","author":"Moebius","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0385","series-title":"Proceedings of the 20th Australian Software Engineering Conference, ASWEC 2009","first-page":"44","article-title":"Model-driven code generation for secure smart card applications","author":"Moebius","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0390","series-title":"Proceedings of the International Conference on Availability, Reliability and Security, ARES 2009","first-page":"841","article-title":"SecureMDD: a model-driven development method for secure smart card applications","author":"Moebius","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0395","series-title":"Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems, IWSESS 2009","first-page":"68","article-title":"Generating formal specifications for security-critical applications - a model-driven approach","author":"Moebius","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0400","series-title":"Engineering Secure Software and Systems","first-page":"166","article-title":"Formal verification of application-specific security properties in a model-driven approach","volume":"vol. 5965","author":"Moebius","year":"2010"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0405","series-title":"Eclipse development using the graphical editing framework and the eclipse modeling framework","author":"Moore","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0410","series-title":"Proceedings of the 31st International Conference on Software Engineering, ICSE 2009","first-page":"122","article-title":"Taming dynamically adaptive systems with models and aspects","author":"Morin","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0415","series-title":"Proceedings of the Early Aspects Workshop at ICSE 2008","first-page":"11","article-title":"A generic weaver for supporting product lines","author":"Morin","year":"2008"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0420","series-title":"Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2010","first-page":"63","article-title":"Flexible model element introduction policies for aspect-oriented modeling","author":"Morin","year":"2010"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0425","first-page":"433","article-title":"Computer automated multi-paradigm modeling: an introduction","volume":"vol. 80","author":"Mosterman","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0430","series-title":"Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005","first-page":"264","article-title":"Weaving executability into object-oriented meta-languages","author":"Muller","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0435","series-title":"Proceedings of the Security Electronic Business Processes, Highlights of the Information Security Solutions Europe 2008 Conference, ISSE 2008","first-page":"84","article-title":"Information security industry: state of the art","author":"Mu\u00f1oz","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0440","series-title":"Proceedings of the 20th Asia-Pacific Software Engineering Conference, APSEC 2013","article-title":"A systematic review of model driven security","author":"Nguyen","year":"2013"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0445","first-page":"915","article-title":"mutation-based test case generation via a path selection strategy","volume":"vol. 54","author":"Papadakis","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0450","series-title":"Transactions on Aspect-Oriented Software Development","first-page":"75","article-title":"Directives for composing aspect-oriented design class models","volume":"vol. 3880","author":"Reddy","year":"2006"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0455","first-page":"2957","article-title":"ModelSec: a generative architecture for model-driven security","volume":"vol. 15","author":"S\u00e1nchez","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0460","first-page":"38","article-title":"Role-based access control models","volume":"vol. 29","author":"Sandhu","year":"1996"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0465","series-title":"Analysis of Model Transformations","author":"Selim","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0470","series-title":"Proceedings of the 1st International Workshop on the Analysis of Model Transformations, AMT 2012","first-page":"21","article-title":"Model transformation testing: the state of the art","author":"Selim","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0475","first-page":"42","article-title":"Model transformation: the heart and soul of model-driven software development","volume":"vol. 20","author":"Sendall","year":"2003"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0480","series-title":"Proceedings of the IEEE International Workshop on Object-Oriented Real-Time Dependable Systems","first-page":"13","article-title":"A role-based access control policy verification framework for real-time systems","author":"Shafiq","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0485","series-title":"Applied Software Product Line Engineering","first-page":"337","article-title":"Separating application and security concerns in modeling software product lines","author":"Shin","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0490","series-title":"Java and the java virtual machine: definition, verification, validation","author":"Stark","year":"2001"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0495","series-title":"A multi-paradigm foundation for model transformation language engineering","author":"Syriani","year":"2011"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0500","series-title":"Proceedings of the 1st International Workshop on Towers of Models, TOWERS 2007","first-page":"14","article-title":"A framework to formalise the MDE foundations","author":"Thirioux","year":"2007"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0505","series-title":"Proceedings of the 5th International Conference on the Theory and Practice of Model Transformations, ICMT 2012","first-page":"56","article-title":"Typing model transformations using tracts","author":"Vallecillo","year":"2012"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0510","first-page":"157","article-title":"Scenario modelling with aspects","volume":"vol. 151","author":"Whittle","year":"2004"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0515","series-title":"Transactions on Aspect-Oriented Software Development VI","first-page":"191","article-title":"A unified approach for composing UML aspect models based on graph transformation","volume":"vol. 5560","author":"Whittle","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0520","series-title":"Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005","first-page":"47","article-title":"Secure software architectures design by aspect orientation","author":"Yu","year":"2005"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0525","first-page":"865","article-title":"A model-based aspect-oriented framework for building intrusion-aware software systems","volume":"vol. 51","author":"Zhu","year":"2009"},{"key":"10.1016\/B978-0-12-800162-2.00003-8_b0530","series-title":"Proceedings of the 2nd International Conference on Software and Data Technologies, ICSOFT (SE)","first-page":"129","article-title":"Addressing security requirements through multi-formalism modelling and model transformation","author":"Zia","year":"2007"}],"container-title":["Advances in Computers"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T04:50:04Z","timestamp":1538801404000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780128001622000038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9780128001622"],"references-count":106,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-800162-2.00003-8","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2014]]}}}