Prototyping to explore MLS/DBMS design

D. J. Thomsen, W. T. Tsai, M. B. Thuraisingham

Research output: Contribution to journalArticle

Abstract

This paper examines prototyping as a research tool for studying multilevel secure databases (MLS/DBMS). The paper proposes that an MLS/DBMS design can be quickly prototyped in Prolog. The prototype is then used as a research tool to experiment with the policies and models of the MLS/DBMS. To illustrate the principle, we built a Prolog prototype based on the Bell and LaPadula model. This prototype emphasizes a modular security policy to encourage reuse for other security mechanisms. The prototype also supports an interference control mechanism. It has proved to be a useful research tool for studying MLS/DBMS policies and models. Furthermore, since a prototype using Prolog can be built very quickly, we suggest that future MLS/DBMS models be prototyped and studied before costly mistakes are incurred in a full-scale implementation.

Original languageEnglish (US)
Pages (from-to)229-245
Number of pages17
JournalComputers and Security
Volume8
Issue number3
DOIs
StatePublished - 1989
Externally publishedYes

Fingerprint

security policy
interference
experiment
Experiments

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Thomsen, D. J., Tsai, W. T., & Thuraisingham, M. B. (1989). Prototyping to explore MLS/DBMS design. Computers and Security, 8(3), 229-245. https://doi.org/10.1016/0167-4048(89)90106-5

Prototyping to explore MLS/DBMS design. / Thomsen, D. J.; Tsai, W. T.; Thuraisingham, M. B.

In: Computers and Security, Vol. 8, No. 3, 1989, p. 229-245.

Research output: Contribution to journalArticle

Thomsen, DJ, Tsai, WT & Thuraisingham, MB 1989, 'Prototyping to explore MLS/DBMS design', Computers and Security, vol. 8, no. 3, pp. 229-245. https://doi.org/10.1016/0167-4048(89)90106-5
Thomsen, D. J. ; Tsai, W. T. ; Thuraisingham, M. B. / Prototyping to explore MLS/DBMS design. In: Computers and Security. 1989 ; Vol. 8, No. 3. pp. 229-245.
@article{8769613e6c814cbda4e91cbb2309d075,
title = "Prototyping to explore MLS/DBMS design",
abstract = "This paper examines prototyping as a research tool for studying multilevel secure databases (MLS/DBMS). The paper proposes that an MLS/DBMS design can be quickly prototyped in Prolog. The prototype is then used as a research tool to experiment with the policies and models of the MLS/DBMS. To illustrate the principle, we built a Prolog prototype based on the Bell and LaPadula model. This prototype emphasizes a modular security policy to encourage reuse for other security mechanisms. The prototype also supports an interference control mechanism. It has proved to be a useful research tool for studying MLS/DBMS policies and models. Furthermore, since a prototype using Prolog can be built very quickly, we suggest that future MLS/DBMS models be prototyped and studied before costly mistakes are incurred in a full-scale implementation.",
author = "Thomsen, {D. J.} and Tsai, {W. T.} and Thuraisingham, {M. B.}",
year = "1989",
doi = "10.1016/0167-4048(89)90106-5",
language = "English (US)",
volume = "8",
pages = "229--245",
journal = "Computers and Security",
issn = "0167-4048",
publisher = "Elsevier Limited",
number = "3",

}

TY - JOUR

T1 - Prototyping to explore MLS/DBMS design

AU - Thomsen, D. J.

AU - Tsai, W. T.

AU - Thuraisingham, M. B.

PY - 1989

Y1 - 1989

N2 - This paper examines prototyping as a research tool for studying multilevel secure databases (MLS/DBMS). The paper proposes that an MLS/DBMS design can be quickly prototyped in Prolog. The prototype is then used as a research tool to experiment with the policies and models of the MLS/DBMS. To illustrate the principle, we built a Prolog prototype based on the Bell and LaPadula model. This prototype emphasizes a modular security policy to encourage reuse for other security mechanisms. The prototype also supports an interference control mechanism. It has proved to be a useful research tool for studying MLS/DBMS policies and models. Furthermore, since a prototype using Prolog can be built very quickly, we suggest that future MLS/DBMS models be prototyped and studied before costly mistakes are incurred in a full-scale implementation.

AB - This paper examines prototyping as a research tool for studying multilevel secure databases (MLS/DBMS). The paper proposes that an MLS/DBMS design can be quickly prototyped in Prolog. The prototype is then used as a research tool to experiment with the policies and models of the MLS/DBMS. To illustrate the principle, we built a Prolog prototype based on the Bell and LaPadula model. This prototype emphasizes a modular security policy to encourage reuse for other security mechanisms. The prototype also supports an interference control mechanism. It has proved to be a useful research tool for studying MLS/DBMS policies and models. Furthermore, since a prototype using Prolog can be built very quickly, we suggest that future MLS/DBMS models be prototyped and studied before costly mistakes are incurred in a full-scale implementation.

UR - http://www.scopus.com/inward/record.url?scp=0024656647&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024656647&partnerID=8YFLogxK

U2 - 10.1016/0167-4048(89)90106-5

DO - 10.1016/0167-4048(89)90106-5

M3 - Article

AN - SCOPUS:0024656647

VL - 8

SP - 229

EP - 245

JO - Computers and Security

JF - Computers and Security

SN - 0167-4048

IS - 3

ER -