Research of duality and multi-level security model based on intransitive noninterference theory
A novel duality and multi-level security model（DMLSM） based on intransitive noninterference theory was proposed,which protects confidentiality of information based on BLP model and integrity based on Biba model.To en-hance the usability of model,it introduces confidentiality trusted domain and integ...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2009-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74653561/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537538365325312 |
|---|---|
| author | LIU Wei-peng1 ZHANG Xing2 |
| author_facet | LIU Wei-peng1 ZHANG Xing2 |
| author_sort | LIU Wei-peng1 |
| collection | DOAJ |
| description | A novel duality and multi-level security model（DMLSM） based on intransitive noninterference theory was proposed,which protects confidentiality of information based on BLP model and integrity based on Biba model.To en-hance the usability of model,it introduces confidentiality trusted domain and integrality trusted domain which check the operations that violate the security policy in confidentiality check-room or integrity check-room respectively,then allow or refuse the access.The strict formal description of the model based on intransitive noninterference theory of informa-tion flow is given;furthermore,it proves the security of the model.The implementation of the model in Linux operating system is discussed and the application of model in practice is also demonstrated.The research gives Some contributes on the protection for sensitive important information and national information content security infrastructure. |
| format | Article |
| id | doaj-art-56f4d390323649559ab16ab928c113eb |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2009-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-56f4d390323649559ab16ab928c113eb2025-01-14T08:30:35ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2009-01-0130525874653561Research of duality and multi-level security model based on intransitive noninterference theoryLIU Wei-peng1ZHANG Xing2A novel duality and multi-level security model（DMLSM） based on intransitive noninterference theory was proposed,which protects confidentiality of information based on BLP model and integrity based on Biba model.To en-hance the usability of model,it introduces confidentiality trusted domain and integrality trusted domain which check the operations that violate the security policy in confidentiality check-room or integrity check-room respectively,then allow or refuse the access.The strict formal description of the model based on intransitive noninterference theory of informa-tion flow is given;furthermore,it proves the security of the model.The implementation of the model in Linux operating system is discussed and the application of model in practice is also demonstrated.The research gives Some contributes on the protection for sensitive important information and national information content security infrastructure.http://www.joconline.com.cn/zh/article/74653561/multi-level securityBLP modelBiba modelduality and multi-level security modelintransitive noninter-ference theory |
| spellingShingle | LIU Wei-peng1 ZHANG Xing2 Research of duality and multi-level security model based on intransitive noninterference theory Tongxin xuebao multi-level security BLP model Biba model duality and multi-level security model intransitive noninter-ference theory |
| title | Research of duality and multi-level security model based on intransitive noninterference theory |
| title_full | Research of duality and multi-level security model based on intransitive noninterference theory |
| title_fullStr | Research of duality and multi-level security model based on intransitive noninterference theory |
| title_full_unstemmed | Research of duality and multi-level security model based on intransitive noninterference theory |
| title_short | Research of duality and multi-level security model based on intransitive noninterference theory |
| title_sort | research of duality and multi level security model based on intransitive noninterference theory |
| topic | multi-level security BLP model Biba model duality and multi-level security model intransitive noninter-ference theory |
| url | http://www.joconline.com.cn/zh/article/74653561/ |
| work_keys_str_mv | AT liuweipeng1 researchofdualityandmultilevelsecuritymodelbasedonintransitivenoninterferencetheory AT zhangxing2 researchofdualityandmultilevelsecuritymodelbasedonintransitivenoninterferencetheory |