{"product_id":"opacity-of-discrete-event-systems-analysis-and-control-von-majed-ben-kalefa","title":"Opacity Of Discrete Event Systems: Analysis And Control","description":"\u003cp\u003eThe 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783639717716\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783639717716","offer_id":39439995273309,"sku":"9783639717716","price":67.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0e7e2afd-573b-4ae7-b9b1-810a06750a20.jpg?v=1773208158","url":"https:\/\/shop.autorenwelt.de\/en\/products\/opacity-of-discrete-event-systems-analysis-and-control-von-majed-ben-kalefa","provider":"Autorenwelt Shop","version":"1.0","type":"link"}