SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:su-217058"
 

Sökning: id:"swepub:oai:DiVA.org:su-217058" > The meta attack lan...

  • Widel, WojciechKTH,Nätverk och systemteknik (författare)

The meta attack language - a formal description

  • Artikel/kapitelEngelska2023

Förlag, utgivningsår, omfång ...

  • Elsevier BV,2023
  • printrdacarrier

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:su-217058
  • https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-217058URI
  • https://doi.org/10.1016/j.cose.2023.103284DOI
  • https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-329957URI

Kompletterande språkuppgifter

  • Språk:engelska
  • Sammanfattning på:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:ref swepub-contenttype
  • Ämneskategori:art swepub-publicationtype

Anmärkningar

  • QC 20230626
  • Nowadays, IT infrastructures are involved in making innumerable aspects of our lives convenient, startingwith water or energy distribution systems, and ending with e-commerce solutions and online bankingservices. In the worst case, cyberattacks on such infrastructures can paralyze whole states and lead tolosses in terms of both human lives and money.One of the approaches to increase security of IT infrastructures relies on modeling possible ways ofcompromising them by potential attackers. To facilitate creation and reusability of such models, domainspecific languages (DSLs) can be created. Ideally, a user will employ a DSL for modeling their infrastruc-ture of interest, with the domain-specific threats and attack logic being already encoded in the DSL bythe domain experts.The Meta Attack Language (MAL) has been introduced previously as a meta-DSL for development ofsecurity-oriented DSLs. In this work, we define formally the syntax and a semantics of MAL to ease acommon understanding of MAL’s functionalities and enable reference implementations on different tech-nical platforms. It’s applicability for modeling and analysis of security of IT infrastructures is illustratedwith an example.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Hacks, Simon,1988-Stockholms universitet,Institutionen för data- och systemvetenskap,Stockholm Univ, Dept Comp & Syst Sci, Stockholm, Sweden.(Swepub:su)siha0922 (författare)
  • Ekstedt, Mathias,1975-KTH,Nätverk och systemteknik(Swepub:kth)u18mctxd (författare)
  • Johnson, Pontus,1970-KTH,Nätverk och systemteknik(Swepub:kth)u153b33i (författare)
  • Lagerström, Robert,1981-KTH,Nätverk och systemteknik(Swepub:kth)u139ne4r (författare)
  • KTHNätverk och systemteknik (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Computers & security (Print): Elsevier BV1300167-40481872-6208

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy