KJCKorea
Journal Central

@article{ART002663648},
author={Chee-Yang Song and SoonBok Lee},
title={An Implementation System Design and Correctness Checking of DSDC-MAC Model},
journal={Journal of Knowledge Information Technology and Systems},
issn={1975-7700},
year={2020},
volume={15},
number={6},
pages={943-953},
doi={10.34163/jkits.2020.15.6.003}

TY - JOUR
AU - Chee-Yang Song
AU - SoonBok Lee
TI - An Implementation System Design and Correctness Checking of DSDC-MAC Model
JO - Journal of Knowledge Information Technology and Systems
PY - 2020
VL - 15
IS - 6
PB - Korea Knowledge Information Technology Society
SP - 943
EP - 953
SN - 1975-7700
AB - In earlier study, the DSDC (Duties Separation & Data Coloring) -MAC model that applied the separation of duty (SoD) and data-coloring security techniques as a unified policy was provided. For practical use of this model, the implementation system must be designed and the model corrected. To do this, this paper proposes to design an architecture for an implementation system based on the DSDC-MAC model and check the accuracy of this model. First of all, the design for the implementation system identifies the necessary functional modules based on the DSDC-MAC model and structure them into design the architecture. Subsequently, the operating process of how the module-to-module access interactions are made during execution was designed. As a case study, the design of the actual implementation system is shown by applying the proposed architectural model for the MAC model of the HRMS (Human Resources Management System). Next, to verify the accuracy of the model, the model is formalized using the Z language and examined through the Z/EVES tool. This enables the system implementation of the data security access model using the DSDC-MAC model. Furthermore the accuracy of the DSDC-MAC model structure was checked to confirm that the model is correct.
KW - DSDC-MAC model;Implementation system design;Model checking;Z formal specification;Data coloring access control.
DO - 10.34163/jkits.2020.15.6.003
ER -

Chee-Yang Song and SoonBok Lee. (2020). An Implementation System Design and Correctness Checking of DSDC-MAC Model. Journal of Knowledge Information Technology and Systems, 15(6), 943-953.

Chee-Yang Song and SoonBok Lee. 2020, "An Implementation System Design and Correctness Checking of DSDC-MAC Model", Journal of Knowledge Information Technology and Systems, vol.15, no.6 pp.943-953. Available from: doi:10.34163/jkits.2020.15.6.003

Chee-Yang Song, SoonBok Lee "An Implementation System Design and Correctness Checking of DSDC-MAC Model" Journal of Knowledge Information Technology and Systems 15.6 pp.943-953 (2020) : 943.

Chee-Yang Song, SoonBok Lee. An Implementation System Design and Correctness Checking of DSDC-MAC Model. 2020; 15(6), 943-953. Available from: doi:10.34163/jkits.2020.15.6.003

Chee-Yang Song and SoonBok Lee. "An Implementation System Design and Correctness Checking of DSDC-MAC Model" Journal of Knowledge Information Technology and Systems 15, no.6 (2020) : 943-953.doi: 10.34163/jkits.2020.15.6.003

Chee-Yang Song; SoonBok Lee. An Implementation System Design and Correctness Checking of DSDC-MAC Model. Journal of Knowledge Information Technology and Systems, 15(6), 943-953. doi: 10.34163/jkits.2020.15.6.003

Chee-Yang Song; SoonBok Lee. An Implementation System Design and Correctness Checking of DSDC-MAC Model. Journal of Knowledge Information Technology and Systems. 2020; 15(6) 943-953. doi: 10.34163/jkits.2020.15.6.003

Chee-Yang Song, SoonBok Lee. An Implementation System Design and Correctness Checking of DSDC-MAC Model. 2020; 15(6), 943-953. Available from: doi:10.34163/jkits.2020.15.6.003

Chee-Yang Song and SoonBok Lee. "An Implementation System Design and Correctness Checking of DSDC-MAC Model" Journal of Knowledge Information Technology and Systems 15, no.6 (2020) : 943-953.doi: 10.34163/jkits.2020.15.6.003