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

Nicola Zannone - One of the best experts on this subject based on the ideXlab platform.

  • Requirements Engineering for trust management: model, Methodology, and reasoning
    International Journal of Information Security, 2006
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    A number of recent proposals aim to incorporate security Engineering into mainstream Software Engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an IT system level, and mapping these into security and trust management policies is still an open problem. This paper proposes a set of concepts founded on the notions of ownership, permission, and trust and intended for requirements modeling. It also extends Tropos, an agent-oriented Software Engineering Methodology, to support security requirements Engineering. These concepts are formalized and are shown to support the automatic verification of security and trust requirements using Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

  • requirements Engineering meets trust management model Methodology and reasoning
    Lecture Notes in Computer Science, 2004
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at an organizational level (as opposed to a design level) is still an open problem. This paper presents a formal framework for modeling and analyzing security and trust requirements. It extends the Tropos Methodology, an agent-oriented Software Engineering Methodology. The key intuition is that in modeling security and trust, we need to distinguish between the actors that manipulate resources, accomplish goals or execute tasks, and actors that own the resources or the goals. To analyze an organization and its information systems, we proceed in two steps. First, we built a trust model, determining the trust relationships among actors, and then we give a functional model, where we analyze the actual delegations against the trust model, checking whether an actor that offers a service is authorized to have it. The formal framework allows for the automatic verification of security and trust requirements by using a suitable delegation logic that can be mechanized within Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

Paolo Giorgini - One of the best experts on this subject based on the ideXlab platform.

  • Requirements Engineering for trust management: model, Methodology, and reasoning
    International Journal of Information Security, 2006
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    A number of recent proposals aim to incorporate security Engineering into mainstream Software Engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an IT system level, and mapping these into security and trust management policies is still an open problem. This paper proposes a set of concepts founded on the notions of ownership, permission, and trust and intended for requirements modeling. It also extends Tropos, an agent-oriented Software Engineering Methodology, to support security requirements Engineering. These concepts are formalized and are shown to support the automatic verification of security and trust requirements using Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

  • requirements Engineering meets trust management model Methodology and reasoning
    Lecture Notes in Computer Science, 2004
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at an organizational level (as opposed to a design level) is still an open problem. This paper presents a formal framework for modeling and analyzing security and trust requirements. It extends the Tropos Methodology, an agent-oriented Software Engineering Methodology. The key intuition is that in modeling security and trust, we need to distinguish between the actors that manipulate resources, accomplish goals or execute tasks, and actors that own the resources or the goals. To analyze an organization and its information systems, we proceed in two steps. First, we built a trust model, determining the trust relationships among actors, and then we give a functional model, where we analyze the actual delegations against the trust model, checking whether an actor that offers a service is authorized to have it. The formal framework allows for the automatic verification of security and trust requirements by using a suitable delegation logic that can be mechanized within Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

  • a knowledge level Software Engineering Methodology for agent oriented programming
    Adaptive Agents and Multi-Agents Systems, 2001
    Co-Authors: Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    Abstract:

    Our goal in this paper is to introduce and motivate a Methodology, called \emph{Tropos}, for building agent oriented Software systems. Tropos is based on two key ideas. First, the notion of agent and all the related mentalistic notions (for instance: beliefs, goals, actions and plans) are used in all phases of Software development, from the early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the Software must operate, and of the kind of interactions that should occur between Software and human agents. The Methodology is illustrated with the help of a case study.

John Mylopoulos - One of the best experts on this subject based on the ideXlab platform.

  • Requirements Engineering for trust management: model, Methodology, and reasoning
    International Journal of Information Security, 2006
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    A number of recent proposals aim to incorporate security Engineering into mainstream Software Engineering. Yet, capturing trust and security requirements at an organizational level, as opposed to an IT system level, and mapping these into security and trust management policies is still an open problem. This paper proposes a set of concepts founded on the notions of ownership, permission, and trust and intended for requirements modeling. It also extends Tropos, an agent-oriented Software Engineering Methodology, to support security requirements Engineering. These concepts are formalized and are shown to support the automatic verification of security and trust requirements using Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

  • requirements Engineering meets trust management model Methodology and reasoning
    Lecture Notes in Computer Science, 2004
    Co-Authors: Paolo Giorgini, John Mylopoulos, Fabio Massacci, Nicola Zannone
    Abstract:

    The last years have seen a number of proposals to incorporate Security Engineering into mainstream Software Requirements Engineering. However, capturing trust and security requirements at an organizational level (as opposed to a design level) is still an open problem. This paper presents a formal framework for modeling and analyzing security and trust requirements. It extends the Tropos Methodology, an agent-oriented Software Engineering Methodology. The key intuition is that in modeling security and trust, we need to distinguish between the actors that manipulate resources, accomplish goals or execute tasks, and actors that own the resources or the goals. To analyze an organization and its information systems, we proceed in two steps. First, we built a trust model, determining the trust relationships among actors, and then we give a functional model, where we analyze the actual delegations against the trust model, checking whether an actor that offers a service is authorized to have it. The formal framework allows for the automatic verification of security and trust requirements by using a suitable delegation logic that can be mechanized within Datalog. To make the discussion more concrete, we illustrate the proposal with a Health Care case study.

  • a knowledge level Software Engineering Methodology for agent oriented programming
    Adaptive Agents and Multi-Agents Systems, 2001
    Co-Authors: Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos
    Abstract:

    Our goal in this paper is to introduce and motivate a Methodology, called \emph{Tropos}, for building agent oriented Software systems. Tropos is based on two key ideas. First, the notion of agent and all the related mentalistic notions (for instance: beliefs, goals, actions and plans) are used in all phases of Software development, from the early analysis down to the actual implementation. Second, Tropos covers also the very early phases of requirements analysis, thus allowing for a deeper understanding of the environment where the Software must operate, and of the kind of interactions that should occur between Software and human agents. The Methodology is illustrated with the help of a case study.

Said Hadjerrouit - One of the best experts on this subject based on the ideXlab platform.

  • web based application development a Software Engineering approach
    Technical Symposium on Computer Science Education, 2001
    Co-Authors: Said Hadjerrouit
    Abstract:

    In contrast to the construction of centralised Software systems which relies on a well established approach, there is a lack of a proven Methodology that guides Software engineers in building web-based applications. The focus is still on technology rather than analysis and design issues. However, just as the focus in Software Engineering shifted from programming to process thirty years ago, the focus with web-based construction must shift from technical issues to the development process. This paper describes a Software Engineering Methodology for developing web-based applications motivated by pedagogical and pragmatic considerations.

R J Evans - One of the best experts on this subject based on the ideXlab platform.

  • agent oriented analysis using message uml
    Lecture Notes in Computer Science, 2002
    Co-Authors: Giovanni Caire, Wim Coulier, Francisco J Garijo, Jorge Gomez, Juan Pavon, Francisco Leal, Paulo Chainho, Paul Kearney, Jamie Stark, R J Evans
    Abstract:

    This paper presents the MESSAGE/UML agent oriented Software Engineering Methodology and illustrates it on an analysis case study. The Methodology covers MAS analysis and design and is intended for use in mainstream Software Engineering departments. MESSAGE integrates into a coherent AOSE Methodology some basic agent related concepts such as Organization, role, goal and task, that have so far been studied in isolation. The MESSAGE notation extends the UML with agent knowledge level concepts, and diagrams with notations for viewing them. The proposed diagrams extend UML class and activity diagrams.