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.

Modeling Social and Individual Trust in Requirements Engineering Methodologies / Giorgini, Paolo; Massacci, Fabio; Mylopoulos, John; Zannone, Nicola. - ELETTRONICO. - (2005), pp. 1-15.

Modeling Social and Individual Trust in Requirements Engineering Methodologies

Giorgini, Paolo;Massacci, Fabio;Mylopoulos, John;Zannone, Nicola
2005-01-01

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 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.
2005
Trento
Università degli Studi di Trento - Dipartimento di Informatica e Telecomunicazioni
Modeling Social and Individual Trust in Requirements Engineering Methodologies / Giorgini, Paolo; Massacci, Fabio; Mylopoulos, John; Zannone, Nicola. - ELETTRONICO. - (2005), pp. 1-15.
Giorgini, Paolo; Massacci, Fabio; Mylopoulos, John; Zannone, Nicola
File in questo prodotto:
File Dimensione Formato  
046.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 298.39 kB
Formato Adobe PDF
298.39 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358029
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact