Opacity of Discrete Event Systems: Transformations and Algorithms – Mgr. Jiří BALUN
Mgr. Jiří BALUN
Doctoral thesis
Opacity of Discrete Event Systems: Transformations and Algorithms
Computational and state complexity of properties of discrete event systems
Abstract:
Opacity is a security property of discrete-event systems that asks whether, at any point of a computation, the secret is revealed to a passive intruder. The literature has introduced several notions of opacity, including language-based opacity, trace opacity, current-state opacity, weak k-step opacity, weak infinite-step opacity, strong k-step opacity, initial-state opacity, and initial-and-final-state …viacAbstract:
Opacity is a security property of discrete-event systems that asks whether, at any point of a computation, the secret is revealed to a passive intruder. The literature has introduced several notions of opacity, including language-based opacity, trace opacity, current-state opacity, weak k-step opacity, weak infinite-step opacity, strong k-step opacity, initial-state opacity, and initial-and-final-state …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 29. 6. 2023
Obhajoba závěrečné práce
- Vedúci: doc. RNDr. Tomáš Masopust, Ph.D., DSc.
Citační záznam
Jak správně citovat práci
BALUN, Jiří. Opacity of Discrete Event Systems: Transformations and Algorithms . Olomouc, 2023. disertační práce (Ph.D.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPalacký University Olomouc
Faculty of ScienceDoctoral programme / odbor:
Computer Science / Computer Science
Práce na příbuzné téma
Názov
Vložil
Vložené
Práva