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]
@inproceedings{JaskolkaKS11,
title = {A formal test for detecting information leakage via covert channels},
author = {Jason Jaskolka and Ridha Khédri and Khair Eddin Sabri},
year = {2011},
doi = {10.1145/2179298.2179343},
url = {http://doi.acm.org/10.1145/2179298.2179343},
researchr = {https://researchr.org/publication/JaskolkaKS11},
cites = {0},
citedby = {0},
pages = {41},
booktitle = {Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011},
editor = {Frederick T. Sheldon and Robert K. Abercrombie and Axel W. Krings},
publisher = {ACM},
isbn = {978-1-4503-0945-5},
}