Abstrakt. Det är mycket svårt att utforma och genomföra säkerhetskritiska system på ett korrekt sätt. I praktiken uppstår de flesta sårbarheter från fel i implementeringar. Vi presenterar arbete för systematisk specifikationsbaserad testning av säkerhetskritiska system baserade på UMLsec-modeller. Vi visar hur man systematiskt genererar testsekvenser för säkerhetsegenskaper baserat på den modell som kan användas för att testa implementeringen för sårbarheter. Vi förklarar vår metod vid exempel av en del av Common Electronic Purse Specifications (CEPS), en kandidat för en internationell elektronisk plånbok standard.
Jürjens har utvecklat ett tillvägagångssätt för att testa säkerhetskritiska system baserade på UMLsec-modeller REF.
Model-based Security Testing Using UMLsec
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}