Pages that link to "Item:Q896497"

The following pages link to Enforcement and validation (at runtime) of various notions of opacity (Q896497):

Displaying 4 items.

• Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
• Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← 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)