Reconstructing a formal security model

Gail-Joon Ahn, Seng-Phil Hong, Michael E. Shin. Reconstructing a formal security model. Information \& Software Technology, 44(11):649-657, 2002.

Abstract

Abstract is missing.