The Experts below are selected from a list of 53979 Experts worldwide ranked by ideXlab platform

Jeanmichel Bruel - One of the best experts on this subject based on the ideXlab platform.

  • a generic traceability framework for model Composition Operation
    International Conference on Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • BMMDS/EMMSAD - A Generic Traceability Framework for Model Composition Operation
    Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • On the use of graph transformations for model Composition traceability
    2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

  • RCIS - On the use of graph transformations for model Composition traceability
    2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS), 2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

Youness Laghouaouta - One of the best experts on this subject based on the ideXlab platform.

  • a generic traceability framework for model Composition Operation
    International Conference on Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • BMMDS/EMMSAD - A Generic Traceability Framework for Model Composition Operation
    Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • A graph based approach to trace models Composition
    Journal of Software, 2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Bernard Coulette
    Abstract:

    A model driven engineering process involves different and heterogeneous models that represent various perspectives of the system under development. The model Composition Operation allows combining those sub-models into an integrated view, but remains a tedious activity. For that, traceability information must be maintained to comprehend the Composition effects and better manage the Operation itself. Against this context, the current paper describes a framework for model Composition traceability. We consider the traces generation concern as a crosscutting concern where the weaving mechanism is performed using graph transformations. A Composition specification case study is presented to illustrate our contribution.

  • On the use of graph transformations for model Composition traceability
    2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

  • RCIS - On the use of graph transformations for model Composition traceability
    2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS), 2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

Ran Canetti - One of the best experts on this subject based on the ideXlab platform.

  • EUROCRYPT - Obfuscating point functions with multibit output
    Advances in Cryptology – EUROCRYPT 2008, 2008
    Co-Authors: Ran Canetti, Ronny Ramzi Dakdouk
    Abstract:

    We construct obfuscators of point functions with multibit output and other related functions. A point function with multibit output returns a fixed string on a single input point and zero everywhere else. Obfuscation of such functions has a useful application as a strong form of symmetric encryption which guarantees security even when the key has very low entropy: Essentially, learning information about the plaintext is paramount to finding the key via exhaustive search on the key space. Although the constructions appear to be simple and modular, their analysis turns out to be quite intricate. In particular, we uncover some weaknesses in the current definitions of obfuscation. One weakness is that current definitions do not guarantee security even under very weak forms of Composition. We thus define a notion of obfuscation that is preserved under an appropriate Composition Operation. The constructions can use any obfuscator of point functions under the proposed definition. Alternatively, they can use perfect one way (POW) functions with statistical indistinguishability, or with computational indistinguishability at the price of somewhat weaker security.

  • CRYPTO - Universal Composition with Joint State
    Advances in Cryptology - CRYPTO 2003, 2003
    Co-Authors: Ran Canetti, Tal Rabin
    Abstract:

    Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples include systems where multiple protocol instances use the same public-key infrastructure, or the same common reference string.) Rather than attempting to analyze the entire system as a single unit, we would like to be able to analyze each such protocol instance as stand-alone, and then use a general Composition theorem to deduce the security of the entire system. However, no known Composition theorem applies in this setting, since they all assume that the composed protocol instances have disjoint internal states, and that the internal random choices in the various executions are independent. We propose a new Composition Operation that can handle the case where different components have some amount of joint state and randomness, and demonstrate sufficient conditions for when the new Operation preserves security. The new Operation, which is called universal Composition with joint state (and is based on the recently proposed universal Composition Operation), turns out to be very useful in a number of quite different scenarios such as those mentioned above.

  • Security and Composition of Multiparty Cryptographic Protocols
    Journal of Cryptology, 2000
    Co-Authors: Ran Canetti
    Abstract:

    We present general definitions of security for multiparty cryptographic protocols, with focus on the task of evaluating a probabilistic function of the parties' inputs. We show that, with respect to these definitions, security is preserved under a natural Composition Operation. The definitions follow the general paradigm of known definitions; yet some substantial modifications and simplifications are introduced. The Composition Operation is the natural ``subroutine substitution'' Operation, formalized by Micali and Rogaway. We consider several standard settings for multiparty protocols, including the cases of eavesdropping, Byzantine, nonadaptive and adaptive adversaries, as well as the information-theoretic and the computational models. In particular, in the computational model we provide the first definition of security of protocols that is shown to be preserved under Composition.

  • universally composable security a new paradigm for cryptographic protocols
    IACR Cryptology ePrint Archive, 2000
    Co-Authors: Ran Canetti
    Abstract:

    We present a general framework for representing cryptographic protocols and analyzing their security. The framework allows specifying the security requirements of practically any cryptographic task in a unified and systematic way. Furthermore, in this framework the security of protocols is preserved under a general protocol Composition Operation, called universal Composition. The proposed framework with its security-preserving Composition Operation allows for modular design and analysis of complex cryptographic protocols from relatively simple building blocks. Moreover, within this framework, protocols are guaranteed to maintain their security in any context, even in the presence of an unbounded number of arbitrary protocol instances that run concurrently in an adversarially controlled manner. This is a useful guarantee, that allows arguing about the security of cryptographic protocols in complex and unpredictable environments such as modern communication networks.

Mahmoud Nassar - One of the best experts on this subject based on the ideXlab platform.

  • a generic traceability framework for model Composition Operation
    International Conference on Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • BMMDS/EMMSAD - A Generic Traceability Framework for Model Composition Operation
    Enterprise Business-Process and Information Systems Modeling, 2015
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model represents a specific concern of the system. In this context, designers need mechanisms to validate, synchronize and understand interactions between those perspectives. Model Composition deals with these issues but remains a complex task. For these reasons, we believe that a strong traceability mechanism is a key factor to handle relationships between models and manage the complexity of the Composition Operation. This paper describes a generic approach to keep track of the model Composition Operation. We also define a traces generation process to adapt our proposal to any specific Composition language. Finally, an example is presented to illustrate our contributions.

  • A graph based approach to trace models Composition
    Journal of Software, 2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Bernard Coulette
    Abstract:

    A model driven engineering process involves different and heterogeneous models that represent various perspectives of the system under development. The model Composition Operation allows combining those sub-models into an integrated view, but remains a tedious activity. For that, traceability information must be maintained to comprehend the Composition effects and better manage the Operation itself. Against this context, the current paper describes a framework for model Composition traceability. We consider the traces generation concern as a crosscutting concern where the weaving mechanism is performed using graph transformations. A Composition specification case study is presented to illustrate our contribution.

  • On the use of graph transformations for model Composition traceability
    2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

  • RCIS - On the use of graph transformations for model Composition traceability
    2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS), 2014
    Co-Authors: Youness Laghouaouta, Adil Anwar, Mahmoud Nassar, Jeanmichel Bruel
    Abstract:

    The model Composition provides support to build systems based on a set of less complex sub-models. This Operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their Composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the Composition Operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model Composition Operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a Composition scenario is given to demonstrate the feasibility of our proposal.

Shan Di-bin - One of the best experts on this subject based on the ideXlab platform.

  • Access control policies Composition for composite Web services
    Journal of Computer Applications, 2012
    Co-Authors: Shan Di-bin
    Abstract:

    For access control policy Composition problem of composite services in Web services multi-domain environment,the attribute based Web services access control policy description framework was proposed and the services access control policies were formally expressed with atomic attribute value constraint.After analyzing the control structures in services Composition description document,combining the access control policy Composition operators with access control policy rule Composition Operation,the composite Web services access control policies Composition method was designed to compose the composite service access control policies.Finally,the Web services access control policy Composition process was given and the practicability of Composition method was verified through a case.