Information hiding in probabilistic concurrent systems.

Miguel E. Andrés Catuscia Palamidessi Peter van Rossum Ana Sokolova

Published in: Theor. Comput. Sci. (2011)

Keyphrases

concurrent systems
information hiding
hidden information
distributed systems
temporal logic
secret information
data hiding
formal specification
petri net
jpeg images
information hiding scheme
model checking
image sequences
multiscale
image reconstruction
jpeg compression