Modeling social and individual trust in requirements engineering methodologies

P. Giorgini, F. Massacci, J. Mylopoulos, N. Zannone

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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. © Springer-Verlag Berlin Heidelberg 2005.
Original languageEnglish
Title of host publicationTrust Management: Third International Conference, iTrust 2005, Proceedings
PublisherSpringer Verlag
Pages161-176
DOIs
Publication statusPublished - 2005
Externally publishedYes
EventThird International Conference on Trust Management, iTrust 2005 - , France
Duration: 23 May 200526 May 2005

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Conference

ConferenceThird International Conference on Trust Management, iTrust 2005
CountryFrance
Period23/05/0526/05/05

Fingerprint Dive into the research topics of 'Modeling social and individual trust in requirements engineering methodologies'. Together they form a unique fingerprint.

Cite this