[Citation information]
[Abstract]
[Keywords]
[BibTeX entry]
[Full text]
[Return to publications]
MS Olivier and SH von Solms, "An Object-based Version of the Path Context Model", International Journal of Computer Mathematics, 49, 3&4, 133-144, 1993
A number of formal models have been proposed for computer security, the best known being the Bell and LaPadula model. Formal models provide a solid foundation for security, making it possible to precisely specify security requirements, to reason with mathematical assurance about security issues and to prove security properties formally. However, most security models do not realistically reflect the complexity of current computer systems. The Path Context Model (PCM) is a recent formal security model attempting to solve this problem.
A number of aspects of PCM have not yet been defined precisely. This paper starts by giving a formal definition of PCM. It is then shown that it is difficult to protect composite objects - objects consisting of other, less complex objects - with PCM. This problem can be solved by modifying PCM so that every level of such a composite object can do the access checks relevant to that level of the object. This is illustrated in the last section of the paper, where an object-based version of PCM is defined.
Information Security, Formal Security Model, Formal Grammars, Object-orientation, Path Context Model (PCM)
@ARTICLE(opcm,
AUTHOR={Martin S Olivier and Sebastiaan H von Solms},
TITLE={An Object-based Version of the Path Context Model},
JOURNAL={International Journal of Computer Mathematics},
VOLUME={49},
NUMBER={3\&4},
PAGES={133--144},
YEAR={1993} )
The full text may be downloaded from http://mo.co.za/ask/opcm.pdf (PDF, 81K) (©IJCM).
Note that a username and password are required to download the full text. (Why?) Please e-mail me and I will send you a username and password.
[Publications]
[Home]
Page maintained by
Martin Olivier
Last update: February 5, 2002