När vi modellerar och analyserar förtroendet för organisationer eller informationssystem måste vi ta hänsyn till två olika analysnivåer: sociala och individuella. Sociala nivåer definierar organisationernas struktur, medan enskilda nivåer fokuserar på enskilda agenter. Detta är särskilt viktigt när man fångar säkerhetskrav där en "normalt" pålitlig organisatorisk roll kan spelas av en opålitlig individ. Vårt mål är att modellera och analysera de två nivåer som hittar länken mellan dem och stödja automatisk upptäckt av konflikter som kan uppstå när agenter spelar roller i organisationen. Vi föreslår också en formell ram som möjliggör automatisk kontroll av säkerhetskraven mellan de två nivåerna med hjälp av Datalog och som har implementerats i CASE-verktyget.
Medan i REF, de fångar förtroende på två olika nivåer (roller och agenter), och de belyste det problem som kan uppstå när en betrodd roll spelas av en opålitlig individ (agent).
Modeling Social and Individual Trust in Requirements Engineering Methodologies
{'venue': 'iTrust', 'journal': None, 'mag_field_of_study': ['Computer Science']}