Information Hiding in Probabilistic Concurrent Systems.
Miguel E. AndrésCatuscia PalamidessiPeter van RossumAna SokolovaPublished in: QEST (2010)
Keyphrases
- concurrent systems
- information hiding
- hidden information
- temporal logic
- distributed systems
- secret information
- data hiding
- petri net
- information hiding scheme
- jpeg images
- formal specification
- model checking
- copyright protection
- remote sensing images
- digital images
- error correction
- multiscale
- watermarking scheme
- change detection
- multispectral
- computational complexity
- data streams