Optimal synthesis of opacity-enforcing supervisors for qualitative and quantitative specifications
In this paper, we investigate both qualitative and quantitative synthesis of optimal privacy-
enforcing supervisors for partially-observed discrete-event systems. We consider a dynamic …
enforcing supervisors for partially-observed discrete-event systems. We consider a dynamic …
[PDF][PDF] OPACITY-BASED DEFENSE FOR DETERMINISTIC FINITE AUTOMATA AGAINST PASSIVE AND ACTUATOR-ENABLEMENT ATTACKS
In our rapidly evolving technological landscape, safeguarding systems against cyber threats
is imperative. This dissertation, part of the Master's program in Informatics Security, focuses …
is imperative. This dissertation, part of the Master's program in Informatics Security, focuses …