Proceedings on the 1992-1993 workshop on New security paradigms - NSPW '92-93
1993
Ideally secure systems must, be provable secure, so they are all defined by mathematical models. Most of current systems are based on the Bell and LaPadula Model (BLM), however, many usages are not logically sound. In this paper, a new paradigm is proposed ...