%0 Conference Proceedings
%F Helouet04a
%A Hélouet, L.
%T Finding covert channels in protocols with Message Sequence Charts: 	the case of RMTP2
%B Proc. of SAM'2004, 4th conference on SDL and MSC
%U http://www.irisa.fr/distribcom/Personal_Pages/helouet/Papers/sam2004.ps.gz
%8 June
%D 2004
%K Partial orders
%K  scenarios