Secure Computer Systems: A Mathematical Model, Volume II

D. Elliot Bell, Leonard J. LaPadula. Secure Computer Systems: A Mathematical Model, Volume II. Journal of Computer Security, 4(2/3):229-263, 1996.

Abstract

Abstract is missing.