Tamper-Tolerant Diagnosability Under Bounded or Unbounded Attacks

This paper discusses fault diagnosis and diagnosability analysis in discrete-event systems modeled with nondeterministic finite automata, partially observed via a sensor measuring unit whose measurements (reported observations) may be vitiated by a malicious attacker. The attacks considered in this...

Full description

Saved in:
Bibliographic Details
Published inIFAC-PapersOnLine Vol. 55; no. 28; pp. 52 - 57
Main Authors Li, Yuting, Hadjicostis, Christoforos N., Wu, Naiqi
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 2022
Subjects
Cost constraint
Data tampering
Discrete-event system
False information
Fault diagnosis
Fault diagnosis
False information
Discrete-event system
Data tampering
Cost constraint
Online AccessGet full text

Cover

More Information
Summary:This paper discusses fault diagnosis and diagnosability analysis in discrete-event systems modeled with nondeterministic finite automata, partially observed via a sensor measuring unit whose measurements (reported observations) may be vitiated by a malicious attacker. The attacks considered in this paper include arbitrary deletions, insertions, or substitutions of observed symbols. Assuming that each deletion, insertion, or substitution bears a positive cost to the attacker, two scenarios are taken into account: (1) a bounded number of attacks or, more generally, a total cost constraint on tampering actions; (2) an infinite number of attacks or, more generally, no constraints on the total cost of tampering actions. Several examples are presented to demonstrate the influence of cost constraints on tamper-tolerant diagnosis and tamper-tolerant system diagnosability.
ISSN:2405-8963
2405-8963
DOI:10.1016/j.ifacol.2022.10.323