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]

Authors

Jason Jaskolka

This author has not been identified. Look up 'Jason Jaskolka' in Google

Ridha Khédri

This author has not been identified. Look up 'Ridha Khédri' in Google

Khair Eddin Sabri

This author has not been identified. Look up 'Khair Eddin Sabri' in Google