Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2

  • Loic Hélouët
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3319)


Covert channels are illegal information flows in systems. Recent research has shown how to detect covert channels in scenario descriptions. This paper recalls these results, and proposes a case study illustrating how scenarios can be used to detect illegal information flows from a scenario description of a protocol. Once a covert information flow is discovered, its bandwidth is computed using the (max, +) algebra.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Loic Hélouët
    • 1
  1. 1.IRISARennesFrance

Personalised recommendations