The following pages link to Concurrent secrets (Q2465424):
Displaying 8 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
