On the validity of the Bell-La Padula model
EEOR Lindgreen, IS Herschberg - Computers & Security, 1994 - Elsevier
EEOR Lindgreen, IS Herschberg
Computers & Security, 1994•ElsevierAbstract The well-known Bell-LaPadula model for multilevel-secure computer systems is
scrutinized systematically and semi-formally. The validity of the model is discussed, both in
its original context and in present-day applications. Even allowing for the model's limited
scope, we find that it is based on indefinite, incomplete and disputable concepts, yielding
systems that are cumbersome at best and insecure at worst. Finally, we discuss whether the
Bell-LaPadula model is a suitable basis for its current application.
scrutinized systematically and semi-formally. The validity of the model is discussed, both in
its original context and in present-day applications. Even allowing for the model's limited
scope, we find that it is based on indefinite, incomplete and disputable concepts, yielding
systems that are cumbersome at best and insecure at worst. Finally, we discuss whether the
Bell-LaPadula model is a suitable basis for its current application.
Abstract
The well-known Bell-LaPadula model for multilevel-secure computer systems is scrutinized systematically and semi-formally. The validity of the model is discussed, both in its original context and in present-day applications. Even allowing for the model's limited scope, we find that it is based on indefinite, incomplete and disputable concepts, yielding systems that are cumbersome at best and insecure at worst. Finally, we discuss whether the Bell-LaPadula model is a suitable basis for its current application.
Elsevier
Showing the best result for this search. See all results