@inproceedings{Jaskolka2012aa,
	Abstract = {With the ability to leak confidential information in a secret manner, covert channels pose a significant threat to the confidentiality of a system. Due to this threat, the identification of covert channel existence has become an important part of the evaluation of secure systems. In this paper, we discuss the conditions for covert channel existence found in the literature and we point to their ineffectiveness. We also examine how conditions for covert channel existence are handled by information theory. We propose a set of necessary, verifiable conditions for covert channel existence in systems of communicating agents. We aim to provide an improved understanding of covert channel communication and to build a foundation for developing effective and efficient mechanisms for mitigating covert channels in systems of communicating agents at the early stages of software development.},
	Address = {Niagara Falls, ON, Canada},
	Author = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},
	Booktitle = {Proceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies},
	Editor = {Elhadi Shakshuki and Muhammad Younas},
	Month = {August},
	Pages = {458 - 465},
	Series = {Procedia Computer Science, ANT 2012 and MobiWIS 2012},
	Title = {On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey},
	Volume = {10},
	Year = {2012}
}