Modeling Social and Individual Trust in Requirements Engineering Methodologies

Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola (2005) Modeling Social and Individual Trust in Requirements Engineering Methodologies. UNSPECIFIED. (Submitted)

Download (298Kb) | Preview


    When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social levels dene the structure of organizations, whereas individual levels focus on individual agents. This is particularly important when capturing security requirements where a ihnormallyls trusted organizational role can be played by an untrusted individual. Our goal is to model and analyze the two levels nding the link between them and supporting the automatic detection of conficts that can come up when agents play roles in the organization. We also propose a formal framework that allows for the automatic verification of security requirements between the two levels by using Datalog and has been implemented in CASE tool.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software
    Uncontrolled Keywords: Information Technologies; Social; Security & Trust; Requirements and methodologies; Trust specification, analysis and reasoning; Realization of prototypes; Agent-Oriented Technologies.
    Report Number: DIT-05-046
    Repository staff approval on: 17 May 2005

    Actions (login required)

    View Item