kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Bayesian Nash Equilibrium-Based Moving Target Defense Against Stealthy Sensor Attacks
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control).ORCID iD: 0000-0002-7459-3019
Department of Electrical and Electronics Engineering, Middle East Technical University, Ankara, Türkiye.ORCID iD: 0000-0001-5638-3213
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Network and Systems Engineering.ORCID iD: 0000-0002-4876-0223
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Decision and Control Systems (Automatic Control). Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden.ORCID iD: 0000-0003-1835-2963
2024 (English)In: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 69, no 3, p. 1659-1674Article in journal (Refereed) Published
Abstract [en]

We present a moving target defense strategy to reduce the impact of stealthy sensor attacks on feedback systems. The defender periodically and randomly switches between thresholds from a discrete set to increase the uncertainty for the attacker and make stealthy attacks detectable. However, the defender does not know the exact goal of the attacker but only the prior of the possible attacker goals. Here, we model one period with a constant threshold as a Bayesian game and use the Bayesian Nash equilibrium concept to find the distribution for the choice of the threshold in that period, which takes the defender's uncertainty about the attacker into account. To obtain the equilibrium distribution, the defender minimizes its cost consisting of the cost for false alarms and the cost induced by the attack. We present a necessary and sufficient condition for the existence of a moving target defense and formulate a linear program to determine the moving target defense. Furthermore, we present a closed-form solution for the special case when the defender knows the attacker's goals. The results are numerically evaluated on a four-tank process.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE) , 2024. Vol. 69, no 3, p. 1659-1674
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-361540DOI: 10.1109/tac.2023.3328754ISI: 001179005900047Scopus ID: 2-s2.0-85181578215OAI: oai:DiVA.org:kth-361540DiVA, id: diva2:1946522
Funder
Swedish Research Council, 2016-00861Swedish Research Council, 2020-03860
Note

QC 20250324

Available from: 2025-03-21 Created: 2025-03-21 Last updated: 2025-03-24Bibliographically approved

Open Access in DiVA

fulltext(1195 kB)26 downloads
File information
File name FULLTEXT01.pdfFile size 1195 kBChecksum SHA-512
fdc590cfc0b6bc99f9a011244d699fc39308be0208ea7196d70f3d77cec07f6a3ca5a6b40b1fff3c48690681a1a2472291289fd456ebb9bd1f82e76ad3cc53e7
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Umsonst, DavidDán, GyörgySandberg, Henrik

Search in DiVA

By author/editor
Umsonst, DavidSartaş, SerkanDán, GyörgySandberg, Henrik
By organisation
Decision and Control Systems (Automatic Control)Network and Systems Engineering
In the same journal
IEEE Transactions on Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 28 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 306 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf