On the Formal Characterization of Covert Channel.

Shiguang Ju Xiaoyu Song

Published in: AWCC (2004)

Keyphrases

covert channel
security requirements
formal model
information systems
formal specification
databases
open source
data processing
anomaly detection
numerical simulations
formal methods