A formal test for detecting information leakage via covert channels

Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri. A formal test for detecting information leakage via covert channels. In Frederick T. Sheldon, Robert K. Abercrombie, Axel W. Krings, editors, Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011. pages 41, ACM, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.