Abstract-This paper presenterar en ram för säkerhetskrav frammanande och analys. Ramen bygger på att skapa ett sammanhang för systemet, som representerar säkerhetskrav som begränsningar, och att utveckla tillfredsställande argument för säkerhetskraven. Systemets sammanhang beskrivs med hjälp av en problemorienterad notation, sedan valideras mot säkerhetskraven genom konstruktion av en tillfredsställelse argument. Belåtenhetsargumentet består av två delar: ett formellt argument om att systemet kan uppfylla sina säkerhetskrav och ett strukturerat informellt argument som stöder de antaganden som uttrycks i det formella argumentet. Uppförandet av tillfredsställelse argumentet kan misslyckas, visar antingen att säkerhetskravet inte kan uppfyllas i sammanhanget eller att sammanhanget inte innehåller tillräcklig information för att utveckla argumentet. I detta fall uppmanas designers och arkitekter att tillhandahålla ytterligare designinformation för att lösa problemen. Vi utvärderar ramverket genom att tillämpa det på en säkerhetsanalys inom ramen för ett projekt för utvärdering av flygkontrollteknik.
I Ref föreslogs en ram för säkerhetskrav som framkallade och analyserades.
Security Requirements Engineering: A Framework for Representation and Analysis
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}