Hur man citerar: Yu, Yijun; Franqueira, Virginia N. L.; Tun, Thein; Wieringa, Roel J. och Nuseibeh, Bashar (2015). Automatiserad analys av säkerhetskraven genom riskbaserad argumentation.  Datorbaserade system utsätts i allt högre grad för föränderliga säkerhetshot, som ofta avslöjar nya sårbarheter. En formell analys av de framväxande hoten är svår på grund av ett antal praktiska överväganden såsom ofullständig kunskap om utformningen, begränsad information om attacker och begränsningar av organisatoriska resurser. I vårt tidigare arbete med RISA (Risk Assessment in Security Argumentation) visade vi att informell riskbedömning kan komplettera den formella analysen av säkerhetskrav. I detta dokument integrerar vi den formella och informella säkerhetsbedömningen genom att föreslå en enhetlig metamodell och ett automatiserat verktyg för att stödja säkerhetsargumentationen OpenRISA. Med hjälp av en enhetlig representation av risker och argument, kan vår automatiska kontroll av formella argument identifiera relevanta risker som motbevis till dessa argument, och identifiera begränsningar från allmänt tillgängliga säkerhetskataloger när det är möjligt. Som ett resultat av detta kan säkerhetsingenjörer fatta välgrundade och spårbara beslut om säkerheten i sina datorbaserade system. Tillämpningen av OpenRISA illustreras med exempel från en PIN Entry Device fallstudie.
När det gäller säkerhetsriskbedömning, Yu et al. REF presenterar ett automatiserat verktyg för att stödja användningen av formell logik, dvs. säkerhetsargumentation, för att fastställa säkerhetskravens tillfredsställelse eller argument.
Automated analysis of security requirements through risk-based argumentation
{'venue': 'J. Syst. Softw.', 'journal': 'J. Syst. Softw.', 'mag_field_of_study': ['Computer Science']}