Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Biografía del autor
Majed Ben-Kalefa received the Ph.D. degree in electrical engineering systems from Wayne State University, Detroit, in December, 2013. His research interests discrete event systems, and Model-Based Testing of Distributed Discrete Event Systems. He is currently on the Fuel Cell Research staff at Ford Company.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Opacity Of Discrete Event Systems: Analysis And Control
Imagen del vendedor
Opacity Of Discrete Event Systems: Analysis And Control
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 152 pp. Englisch. Nº de ref. del artículo: 9783639717716
Comprar nuevo
EUR 67,90
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Opacity Of Discrete Event Systems: Analysis And Control
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Ben Kalefa MajedMajed Ben-Kalefa received the Ph.D. degree in electrical engineering systems from Wayne State University, Detroit, in December, 2013. His research interests discrete event systems, and Model-Based Testing of Distribu. Nº de ref. del artículo: 4999748
Comprar nuevo
EUR 55,14
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Opacity of Discrete Event Systems
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 152. Nº de ref. del artículo: 26128177073
Comprar nuevo
EUR 102,25
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Opacity of Discrete Event Systems
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 152 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Nº de ref. del artículo: 131361902
Comprar nuevo
EUR 106,76
Gastos de envío:
EUR 7,39
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Opacity of Discrete Event Systems
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 152. Nº de ref. del artículo: 18128177083
Comprar nuevo
EUR 109,08
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Opacity Of Discrete Event Systems: Analysis And Control
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Opacity Of Discrete Event Systems: Analysis And Control | Majed Ben Kalefa | Taschenbuch | 152 S. | Englisch | 2014 | SPS | EAN 9783639717716 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Nº de ref. del artículo: 105218017
Comprar nuevo
EUR 57,10
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Opacity Of Discrete Event Systems: Analysis And Control
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 152 pp. Englisch. Nº de ref. del artículo: 9783639717716
Comprar nuevo
EUR 67,90
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Opacity Of Discrete Event Systems: Analysis And Control
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783639717716
Comprar nuevo
EUR 67,90
Gastos de envío:
EUR 61,22
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles