Vi introducerar en formell specifikation språk lås, som gör det möjligt för säkerhetsutövare att uttrycka samt komponera säkerhetsmål på ett bekvämt sätt. lås stöder specifikationen av de vanligaste säkerhetsegenskaperna över generiska attribut, både för kvalitativa och kvantitativa mål. För att göra vårt språk oberoende av en specifik säkerhetsram utvärderar vi lås över en generisk attackmodell, nämligen den strukturella attackmodellen (sam), som överarcherar de mest framträdande grafiska hotmodellerna. Dessutom utrustar vi vårt språk med en koncis grammatik, typregler och semantik, vilket lägger grunden till ett automatiserat verktyg. Vi tar ett antal informella säkerhetsmål från litteraturen och visar hur de formellt kan uttryckas på vårt språk. • Säkerhet och integritet → Säkerhetskrav; Formella säkerhetsmodeller; Enterprise security, Quantitative security goals, Property specification language, Multi-objektive query language, Threat models, Denotational semantics ACM Referensformat: Rajesh Kumar, Arend Rensink och Mariëlle Stoelinga. År 2018............................................................................................................. LOCKS: en egenskap specifikation språk för säkerhetsmål. Om ja, varsågod.
Ett annat allmänt tillvägagångssätt är LOCKS REF, som är ett generiskt och formellt DSL (domänspecifikt språk) som gör det möjligt för en säkerhetsutövare att uttrycka och komponera (både kvalitativa och kvantitativa) säkerhetsmål (som omfattar ett stort antal attribut såsom kostnad, skada, sannolikhet, etc.) på ett deklarativt sätt.
LOCKS: a property specification language for security goals
{'venue': "SAC '18", 'journal': None, 'mag_field_of_study': ['Computer Science']}