Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Search results for Opacity Of Discrete Event Systems: Analysis And Control
Seller Image
Opacity Of Discrete Event Systems: Analysis And Control
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783639717716
Stock Image
Opacity of Discrete Event Systems
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 152. Seller Inventory # 26128177073
Seller Image
Opacity Of Discrete Event Systems: Analysis And Control
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 4999748
Buy New
US$ 65.29
Shipping:
US$ 56.32
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Opacity of Discrete Event Systems
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 131361902
Buy New
US$ 120.27
Shipping:
US$ 8.48
From United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Opacity of Discrete Event Systems
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3639717716
ISBN 13: 9783639717716
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 152. Seller Inventory # 18128177083
Seller Image
Opacity Of Discrete Event Systems: Analysis And Control
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 105218017
Seller Image
Opacity Of Discrete Event Systems: Analysis And Control
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783639717716
Seller Image
Opacity Of Discrete Event Systems: Analysis And Control
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783639717716