Loïc Hélouët. Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. In Daniel Amyot, Alan W. Williams, editors, System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Volume 3319 of Lecture Notes in Computer Science, pages 189-207, Springer, 2004. [doi]
Abstract is missing.