En rapport avec le sujet du cours

Constructive Security Using Information Flow Control