M2S: A Machine for Multilevel Security. - Bruno d'Ausbourg; Jean-Henri Llareus (ESORICS, 1992)