%0 Conference Paper %1 giorgini05 %A Giorgini, Paolo %A Massacci, Fabio %A Mylopoulos, John %A Zannone, Nicola %B Third International Conference on Trust Management: (iTrust) %C Paris %D 2005 %E Herrmann, Peter %E Issarny, Valérie %E Shiu, Simon %I Springer-Verlag GmbH %J Lecture Notes in Computer Science %K trust requirements tropos %P 161+ %R 10.1007/11429760_12 %T Modeling Social and Individual Trust in Requirements Engineering Methodologies %U http://dx.doi.org/10.1007/11429760_12 %V 3477 %X 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 ldquonormallyrdquo 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.

@inproceedings{giorgini05, 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 ldquonormallyrdquo 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.}, added-at = {2006-03-24T16:34:33.000+0100}, address = {Paris}, author = {Giorgini, Paolo and Massacci, Fabio and Mylopoulos, John and Zannone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/283bd659d8854e0fcb0ae13b5bef35e79/neilernst}, booktitle = {Third International Conference on Trust Management: (iTrust)}, citeulike-article-id = {391285}, description = {sdasda}, doi = {10.1007/11429760_12}, editor = {Herrmann, Peter and Issarny, Valérie and Shiu, Simon}, interhash = {73ce987b64641d9d2850395fb302fbb6}, intrahash = {83bd659d8854e0fcb0ae13b5bef35e79}, journal = {Lecture Notes in Computer Science}, keywords = {trust requirements tropos}, month = May, pages = {161+}, priority = {4}, publisher = {Springer-Verlag GmbH}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Modeling Social and Individual Trust in Requirements Engineering Methodologies}, url = {http://dx.doi.org/10.1007/11429760_12}, volume = 3477, year = 2005 }