-
Anglický jazyk
Opacity Of Discrete Event Systems: Analysis And Control
Autor: Majed Ben Kalefa
The exchange of sensitive information in many systems over a network can be manipulated by unauthorized access. Opacity is a property to investigate security and privacy problems in such systems. Opacity characterizes whether a secret information of a... Viac o knihe
Na objednávku
66.31 €
bežná cena: 69.80 €
O knihe
The exchange of sensitive information in many systems over a network can be manipulated by unauthorized access. Opacity is a property to investigate security and privacy problems in such systems. Opacity characterizes whether a secret information of a system can be inferred by an unauthorized user. One approach to verify security and privacy properties using opacity problem is to model the system that may leak confidential information as a discrete event system. We describe and analyze the complexity of opacity in systems that are modeled as a discrete event system with partial observation mapping. We define three types of opacity: strong opacity, weak opacity, and no opacity. Strong Opacity describes the inability for the system's observer to know what happened in a system. On the other hand, No-opacity refers to the condition where there is no ambiguity in the system behavior.
- Vydavateľstvo: Scholars' Press
- Rok vydania: 2014
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783639717716
Nemecký jazyk 
