Modeling Social and Individual Trust in Requirements Engineering Methodologies

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Conference or Workshop Item (Paper)

Giorgini, P. and Massacci, F. and Mylopoulos, J. and Zannone, N. (2005) Modeling Social and Individual Trust in Requirements Engineering Methodologies. In: 3rd International Conference on Trust Management, 23 - 26 May 2005, Rocquencourt, France.

Full text not available from this archive.

Abstract

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 define the structure of organizations, whereas individual levels focus on individual agents. This is particularly important when capturing security requirements where a "normally" trusted organizational role can be played by an untrusted individual. Our goal is to model and analyze the two levels finding the link between them and supporting the automatic detection of conflicts 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.

Deposited by Nicola Zannone on 12 April 2005

Archive Staff Only: edit this record

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.