{"_id":"yARrbBRB68avgNhif","bibbaseid":"jaskolka-khedri-sabri-aformaltestfordetectinginformationleakageviacovertchannels-2011","downloads":0,"creationDate":"2016-02-02T16:45:04.247Z","title":"A Formal Test for Detecting Information Leakage via Covert Channels","author_short":["Jaskolka, J.","Khedri, R.","Sabri, K. E."],"year":2011,"bibtype":"inproceedings","biburl":"http://www.cas.mcmaster.ca/~khedri/wp-content/uploads/BIBLIOGRAPHY/cvbib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Oak Ridge, TN, USA","author":[{"firstnames":["Jason"],"propositions":[],"lastnames":["Jaskolka"],"suffixes":[]},{"firstnames":["Ridha"],"propositions":[],"lastnames":["Khedri"],"suffixes":[]},{"firstnames":["Khair","Eddin"],"propositions":[],"lastnames":["Sabri"],"suffixes":[]}],"booktitle":"Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop","month":"October","pages":"1 – 4","series":"CSIIRW7","title":"A Formal Test for Detecting Information Leakage via Covert Channels","year":"2011","bibtex":"@inproceedings{JaskolkaKhedriSabri2011,\n\tAddress = {Oak Ridge, TN, USA},\n\tAuthor = {Jason Jaskolka and Ridha Khedri and Khair Eddin Sabri},\n\tBooktitle = {Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop},\n\tMonth = {October},\n\tPages = {1 -- 4},\n\tSeries = {CSIIRW7},\n\tTitle = {A Formal Test for Detecting Information Leakage via Covert Channels},\n\tYear = {2011}}\n\n","author_short":["Jaskolka, J.","Khedri, R.","Sabri, K. E."],"key":"JaskolkaKhedriSabri2011","id":"JaskolkaKhedriSabri2011","bibbaseid":"jaskolka-khedri-sabri-aformaltestfordetectinginformationleakageviacovertchannels-2011","role":"author","urls":{},"metadata":{"authorlinks":{"khedri, r":"http://www.cas.mcmaster.ca/khedri/"}},"downloads":0,"html":""},"search_terms":["formal","test","detecting","information","leakage","via","covert","channels","jaskolka","khedri","sabri"],"keywords":[],"authorIDs":["56b0dd107b46fe41620002a0","5e2492728c3885df010000a8","ZDgv4hpBF44CBhbAY","fjFPj4EHaK6KNXhFi"],"dataSources":["R4pF6oKzFC7B5Dxhj"]}