Seminar: Attacker Models in IT Security

Moderator: Static and Dynamic Program Analysis

FlorianD
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 14. Jan 2015 17:25

Seminar: Attacker Models in IT Security

Beitrag von FlorianD »

In the summer term 2020, the MAIS group offers the seminar "Attacker Models in IT Security" (3CP, TUCaN Id: 20-00-1091-se).

When assessing the security of IT systems, one needs to take into account which capabilities and which intentions the potential attackers might have. The purpose of attacker models is to make an attacker's capabilities, goals, or other aspects explicit. Formal foundations of attacker models increase precision, avoid ambiguities, and provide a basis for automatic security analyses. Languages for attacker models often come with a graphical display notation that eases understanding and building up intuition.

Attacker models enjoy a widespread use in industrial practice and have been subject of intensive research efforts. Security analyses based on attacker models are not limited to assessing how secure a system is, but can be also used as the basis for economic decisions, e.g., maximizing the return on security invest.

This seminar is based on scientific publications on topics such as:
  • formal and graphical languages for modelling attackers
  • security analyses based on attacker models
  • automated generation of attacker models
  • systematic engineering of attacker models
  • interplay between attacker actions and defenses
  • selective mitigation of attacks
  • security economics
Further information can be found on the course webpage (https://www.mais.informatik.tu-darmstad ... -ss20.html).

The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.
Dateianhänge
Seminar-ATMSec.png
Seminar-ATMSec.png (110.49 KiB) 64 mal betrachtet

FlorianD
Mausschubser
Mausschubser
Beiträge: 98
Registriert: 14. Jan 2015 17:25

Re: Seminar: Attacker Models in IT Security

Beitrag von FlorianD »

Update:
The joint online kick-off meeting for labs and seminars offered by MAIS will happen on Thursday, 23.4.2020, at 16:00. We will provide more information how to join the online kick-off meeting via e-mail before the meeting. To receive information how to participate, please register for one of the courses via TUCaN or write a short e-mail to kickoff-2020@mais.informatik.tu-darmstadt.de in case you want to register in TUCaN after the kick-off meeting.

Antworten

Zurück zu „Static and Dynamic Program Analysis“