Covert Channel Capacity 论文
1987引用 220
Security and Verification in ComputingInternet Traffic Analysis and Secure E-votingAdvanced Malware Detection Techniques
摘要
Techniques for detecting covert channels are based on information flow models. This paper establishes a connection between Shannon's theory of communication and information flow models, such as the Goguen-Meseguer model, that view a reference monitor as a state-transition automaton. The channel associated with a machine and a compromise policy is defined, and the capacity of that channel is taken as a measure of covert channel information rate.