Preserving Secrecy Under Refinement.

Rajeev Alur Pavol Cerný Steve Zdancewic

Published in: ICALP (2) (2006)

Keyphrases

security analysis
artificial intelligence
knowledge base
image processing
key management
multimedia
data structure
privacy preserving
formal model
image details
security properties