A Formal Statement of the MMS Security Model

John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer. A Formal Statement of the MMS Security Model. In IEEE Symposium on Security and Privacy. pages 188-194, 1984.

Abstract

Abstract is missing.