Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement

1 October 2019

Papers citing "Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement"

2 / 2 papers shown

Title
Probabilistic Opacity for Markov Decision Processes B. Bérard K. Chatterjee Nathalie Sznajder 40 51 0 16 Jul 2014
Opacity with Orwellian Observers and Intransitive Non-interference J. Mullins M. Yeddes 35 20 0 22 Dec 2013