Advances in Model-Driven Security

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Advances in Computing

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/B978-0-12-800162-2.00003-8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On the Move to Meaningful Internet Systems

  2014cited by this paper
• Automated verification of model transformations based on visual contracts

  2013cited by this paper
• A Systematic Review of Model-Driven Security

  2013influential reference
• Author manuscript, published in "Proceedings of MODELS/UML'2005 (2005)" Weaving Executability into Object-Oriented Meta-Languages

  2013cited by this paper
• Achieving Practical Genericity in Model Weaving through Extensibility

  2013cited by this paper
• Analysis of Model Transformations

  2012cited by this paper
• A Tridimensional Approach for Studying the Formal Verification of Model Transformations

  2012cited by this paper
• Typing Model Transformations Using Tracts

  2012cited by this paper
• Incremental development of large, secure smart card applications

  2012influential reference
• Model-driven Security: from Theory to Application

  2012cited by this paper
• Model transformation testing: the state of the art

  2012cited by this paper
• Mutation based test case generation via a path selection strategy

  2012cited by this paper
• Verification of ATL Transformations Using Transformation Models and Model Finders

  2012cited by this paper
• Systematic Development of UMLsec Design Models Based on Security Requirements

  2011cited by this paper
• Security in Model Driven Development: A Survey

  2011influential reference
• A decade of model-driven security

  2011influential reference
• Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets

  2011cited by this paper
• A multi-paradigm foundation for model transformation language engineering

  2011cited by this paper
• Model-Driven Development Meets Security: An Evaluation of Current Approaches

  2011influential reference
• Orthographic Service Modeling

  2011cited by this paper
• Flexible model element introduction policies for aspect-oriented modeling

  2010cited by this paper
• Aspect-Oriented Design with Reusable Aspect Models

  2010cited by this paper
• Automatic Generation of Smart, Security-Aware GUI Models

  2010cited by this paper
• Formal Verification of Application-Specific Security Properties in a Model-Driven Approach

  2010cited by this paper
• A technique for automatic validation of model transformations

  2010influential reference
• Author manuscript, published in "International Workshop on Early Aspects at ICSE'08 (2008)" A Generic Weaver for Supporting Product Lines

  2010cited by this paper
• Security development lifecycle

  2010cited by this paper
• Taming Dynamically Adaptive Systems using models and aspects

  2009cited by this paper
• Privacy-Preserving Telemonitoring for eHealth

  2009cited by this paper
• Model-Driven Code Generation for Secure Smart Card Applications

  2009influential reference
• SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

  2009influential reference
• MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation

  2009cited by this paper
• Aspect Model Unweaving

  2009cited by this paper
• ModelSec: A Generative Architecture for Model-Driven Security

  2009influential reference
• On the Move to Meaningful Internet Systems: Otm 2009

  2009cited by this paper
• Automated analysis of security-design models

  2009cited by this paper
• Model-Driven Configuration of SELinux Policies

  2009cited by this paper
• A model-based aspect-oriented framework for building intrusion-aware software systems

  2009cited by this paper
• Generating formal specifications for security-critical applications - A model-driven approach

  2009influential reference
• Security Analysis of a Biometric Authentication System Using UMLsec and JML

  2009cited by this paper
• Separating Application and Security Concerns in Modeling Software Product Lines

  2009cited by this paper
• A Generic Approach for Automatic Model Composition

  2008cited by this paper
• Model-Driven Security Engineering of Service Oriented Systems

  2008cited by this paper
• Model-based security analysis for mobile communications

  2008cited by this paper
• Model-Driven Security in Practice: An Industrial Experience

  2008cited by this paper
• Model Driven Security Management: Making Security Management Manageable in Complex Distributed Systems

  2008influential reference
• Information Systems and e-Business Technologies

  2008cited by this paper
• Security engineering for service-oriented architectures

  2008cited by this paper
• A Privacy-Preserving eHealth Protocol Compliant with the Belgian Healthcare System

  2008cited by this paper
• Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet

  2008influential reference
• Information Security Industry: State of the Art

  2008cited by this paper
• Domain-Specific Development with Visual Studio DSL Tools

  2007cited by this paper
• Developing Secure Embedded Systems: Pitfalls and How to Avoid Them

  2007influential reference
• Weaving Multiple Aspects in Sequence Diagrams

  2007cited by this paper
• Model-Based Security Engineering of Distributed Information Systems Using UMLsec

  2007cited by this paper
• A Framework to Formalise the MDE Foundations

  2007cited by this paper
• CIM to PIM Transformation: A Reality

  2007cited by this paper
• Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation

  2007cited by this paper
• Model based development of access policies

  2007influential reference
• A Model-Driven Framework for Trusted Computing Based Systems

  2007cited by this paper
• Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases

  2007cited by this paper
• Model-Driven Security Engineering for Trust Management in SECTET

  2007cited by this paper
• Model driven security: From UML models to access control infrastructures

  2006influential reference
• Directives for Composing Aspect-Oriented Design Class Models

  2006cited by this paper
• Software Abstractions - Logic, Language, and Analysis

  2006cited by this paper
• A constraint based role based access control in the SECTET a model-driven approach

  2006influential reference
• A Framework for Modeling Restricted Delegation in Service Oriented Architecture

  2006influential reference
• Sectet: an extensible framework for the realization of secure inter-organizational workflows

  2006cited by this paper
• Semantic-based weaving of scenarios

  2006cited by this paper
• Towards a MOF/QVT-Based domain architecture for model driven security

  2006cited by this paper
• Constraint based role based access control (CRBAC) for restricted administrative delegation constraints in the SECTET

  2006influential reference
• The Motorola WEAVR : Model Weaving in a Large Industrial Context

  2006cited by this paper
• Sound methods and effective tools for model-based security engineering with UML

  2005influential reference
• Model Driven Security for Inter-organizational Workflows in e-Government

  2005cited by this paper
• Secure software architectures design by aspect orientation

  2005cited by this paper
• Aspect-oriented software development with use cases

  2005cited by this paper
• Aspect-oriented analysis and design - the theme approach

  2005cited by this paper
• Code security analysis of a biometric authentication system using automated theorem provers

  2005influential reference
• A role-based access control policy verification framework for real-time systems

  2005cited by this paper
• Modelling inter-organizational workflow security in a peer-to-peer environment

  2005cited by this paper
• Model Driven Engineering: An Emerging Technical Space

  2005cited by this paper
• The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications

  2005cited by this paper
• Designing secure databases

  2005cited by this paper
• Computer Automated Multi-Paradigm Modeling: An Introduction

  2004cited by this paper
• Scenario modelling with aspects

  2004cited by this paper
• Secure systems development with UML

  2004influential reference
• Model-Based Security Engineering with UML

  2004influential reference
• Model driven security for Web services (MDS4WS)

  2004cited by this paper
• Aspect-oriented approach to early design modelling

  2004cited by this paper
• MDA explained - the Model Driven Architecture: practice and promise

  2003cited by this paper
• Model driven security from UML models to access control architectures

  2003cited by this paper
• Model Transformation: The Heart and Soul of Model-Driven Software Development

  2003cited by this paper
• Developing secure networked Web-based systems using model-based risk assessment and UMLsec

  2003cited by this paper
• Model driven security for process-oriented systems

  2003influential reference
• Non-functional requirements: from elicitation to modelling languages

  2002cited by this paper
• AToM3: A Tool for Multi-formalism and Meta-modelling

  2002cited by this paper
• UMLsec: Extending UML for Secure Systems Development

  2002cited by this paper
• A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques

  2002cited by this paper
• SecureUML: A UML-Based Modeling Language for Model-Driven Security

  2002influential reference
• Formal Semantics for Interacting UML subsystems

  2002cited by this paper

• New Trends in Software Construction

  2023cites this paper
• An extended model-based characterization of fine-grained access control for SQL queries

  2023cites this paper
• Security requirements specification by formal methods: a research metadata analysis

  2023cites this paper
• Security policies by design in NoSQL document databases

  2022cites this paper
• A review on security requirements specification by formal methods

  2021cites this paper
• Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support

  2021cites this paper
• Secure Self-Reconfiguring Services to Mitigate DoS Attacks

  2020cites this paper
• Enhancement of a Business Model with a Business Contextual Risk Model

  2020cites this paper
• Tackling Access Control Complexity by Combining XACML and Domain Driven Design

  2020cites this paper
• Model Driven Security: A Systematic Mapping Study

  2019cites this paper
• A Formal Methods Approach to Security Requirements Specification and Verification

  2019cites this paper
• Towards Configurable Vulnerability Assessment in the Cloud

  2019cites this paper
• Towards Configurable Cloud Application Security

  2019cites this paper
• Towards Model-Driven Application Security across Clouds

  2018cites this paper
• Engineering secure systems: Models, patterns and empirical validation

  2018cites this paper
• Model-driven endpoint development for testing environment emulation

  2017cites this paper
• Ontology-Driven Modeling Framework for SOA Security Patterns

  2017cites this paper
• Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations

  2017cites this paper
• Ingénierie des sytèmes sécurisés: patrons, modèles et analyses. (Engineering secure software architectures: patterns, models and analysis)

  2017cites this paper
• Model-based security engineering for cyber-physical systems: A systematic mapping study

  2017cites this paper
• Query-based access control for secure collaborative modeling using bidirectional transformations*

  2016cites this paper
• A Model-Driven Adaptive Approach for IoT Security

  2016cites this paper
• An extensive systematic review on the Model-Driven Development of secure systems

  2015cites this paper
• Security solution frames and security patterns for authorization in distributed, collaborative systems

  2015cites this paper
• Security patterns modeling and formalization for pattern-based development of secure software systems

  2015cites this paper
• Optimizing Service Protection with Model Driven Security@run.time

  2015cites this paper
• Investigating security threats in architectural context: Experimental evaluations of misuse case maps

  2015cites this paper
• Design notations for secure software: a systematic literature review

  2015cites this paper
• Model-Driven Security With Modularity and Reusability For Engineering Secure Software Systems

  2015influential citation
• Context-aware Security@run.time Deployment

  2015cites this paper
• Model-Driven Security with Modularity and Reusability for Secure Systems Development

  2014cites this paper
• Contextualised Security Operation Deployment Through MDS@run.time Architecture

  2014cites this paper
• Modeling, Composing, and Testing of Security Concerns in a Model-Driven Security Approach

  2014cites this paper
• Challenges in Security Engineering of Systems-of-Systems

  2014cites this paper
• A Comparative Overview of the Most Common Methodologies for Secure Software Development

  2014cites this paper
• A Comprehensive Pattern-Driven Security Methodology for Distributed Systems

  2014cites this paper