@inproceedings(Ahsan02,
 author       = "K. Ahsan and D. Kundur",
 year         = "2002",
 title        = "Practical Data Hiding in TCP/IP",
 booktitle    = "Workshop on Multimedia Security at ACM Multimedia '02",
)
@techreport(Bell73b,
 author       = "D.E Bell and J.J. La Padula",
 year         = "1973",
 title        = "Secure Computer Systems: a mathematical model",
 type         = "MITRE technical report",
 number       = "2547",
 institution  = "MITRE",
 note         = "{Vol II}",
)
@techreport(Bell73a,
 author       = "D.E. Bell and J.J. La Padula",
 year         = "1973",
 title        = "Secure Computer Systems: mathematical foundations",
 type         = "MITRE Technical report 2547",
 institution  = "MITRE",
 note         = "Vol I",
)
@book(CoverThomas,
 author       = "{T.M.} Cover and {J. A.} Thomas",
 year         = "1991",
 title        = "Elements of Information Theory",
 publisher    = "Wiley",
)
@techreport(Common99,
 author       = "Common Criteria",
 year         = "1999",
 title        = "Common Criteria for Information Technology Security Evaluation Part 3: Security assurance requirements",
 type         = "Technical Report",
 number       = "CCIMB-99-033",
 institution  = "CCIMB",
)
@inproceedings(Focardi00b,
 author       = "R. Focardi and R. Gorrieri",
 year         = "2000",
 title        = "Classification of Security Properties (Part I: Information Flow)",
 booktitle    = "FOSAD 2000",
 pages        = "331--396",
)
@article(Giles02,
 author       = "J Giles and B. Hajek",
 year         = "2002",
 title        = "An information-theoretic and game-theoretic study of timing channels",
 journal      = "IEEE Transactions on Information Theory",
 volume       = "48",
 number       = "9",
 pages        = "2455--2477",
)
@inproceedings(Goguen82,
 author       = "J.A. Goguen and J. Meseguer",
 year         = "1982",
 title        = "Security policies and security Models",
 editor       = "IEEE Computer Society Press",
 booktitle    = "Proc of IEEE Symposium on Security and Privacy",
 pages        = "11--20",
)
@inproceedings(hzd04,
 author       = "L. H{\'e}lou{\"e}t and M. Zeitoun and A. Degorre",
 year         = "2004",
 title        = "Scenarios and Covert channels, another game...",
 booktitle    = "Games in Design and Verification, GDV '04",
 series       = "Electronic Notes in Theoretical Computer Science",
 publisher    = "Elsevier",
)
@inproceedings(Helouet03b,
 author       = "L. H\'elou\"et and M. Zeitoun and C. Jard",
 year         = "2003",
 title        = "Covert channels detection in protocols using scenarios",
 booktitle    = "SPV'03 Security Protocols Verification",
)
@article(Kang96,
 author       = "M.H Kang and I. Moskowitz and D.C. Lee",
 year         = "1996",
 title        = "A Network Pump",
 journal      = "IEEE Trans. Software Eng.",
 volume       = "22",
 number       = "5",
 pages        = "329--338",
)
@article(Kemmerer83,
 author       = "R.A. Kemmerer",
 year         = "1983",
 title        = "Shared ressources matrix methodology: an approach to indentifying storage and timing channels",
 journal      = "ACM transactions on Computer systems",
 volume       = "1",
 number       = "3",
 pages        = "256--277",
)
@article(Lampson73,
 author       = "B. Lampson",
 year         = "1973",
 title        = "A note on the confinement problem",
 journal      = "Communication of the ACM",
 volume       = "16",
 number       = "10",
 pages        = "613--615",
)
@inproceedings(Millen87,
 author       = "J. Millen",
 year         = "1987",
 title        = "Covert Channel Capacity",
 booktitle    = "IEEE Symposium on Security and Privacy",
 pages        = "60--66",
)
@inproceedings(Moskowitz94,
 author       = "I. Moskowitz and M. Kang",
 year         = "1994",
 title        = "Covert Channels - Here to stay ?",
 booktitle    = "COMPASS'94",
 publisher    = "IEEE Press",
 pages        = "235--243",
)
@inproceedings(MurdochL05,
 author       = "S.J Murdoch and S. Lewis",
 year         = "2005",
 title        = "Embedding Covert Channels into TCP/IP",
 booktitle    = "Information Hiding",
 pages        = "247--261",
)
@techreport(NCSC93,
 author       = "NSA/NCSC",
 year         = "1993",
 title        = "A guide to Understanding Covert Channel Analysis of Trusted Systems",
 type         = "Technical Report",
 institution  = "NSA/NCSC",
)
@article(Sabelfeld03,
 author       = "A. Sabelfeld and A.C. Myers",
 year         = "2003",
 title        = "Language-based Information-flow security",
 journal      = "IEEE Journal on selected areas in communications",
 volume       = "21",
 number       = "1",
)
@article(Shannon58,
 author       = "C.E. Shannon",
 year         = "1958",
 title        = "Channels with Side Information at the Transmitter",
 journal      = "IBM Journal of Research and Development",
 volume       = "2",
 number       = "4",
 pages        = "289--293",
)