Non-interference trusted model based on processes
A novel abstract model for the design of trusted computing platform system was proposed.By using the basic idea of non-interference theory as reference and introduces the reasoning method of process algebra, thus abstracting the system as processes, actions, states and outputs, and giving the formal...
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/74653054/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537603955851264 |
|---|---|
| author | ZHANG Xing1 CHEN You-lei2 SHEN Chang-xiang2 |
| author_facet | ZHANG Xing1 CHEN You-lei2 SHEN Chang-xiang2 |
| author_sort | ZHANG Xing1 |
| collection | DOAJ |
| description | A novel abstract model for the design of trusted computing platform system was proposed.By using the basic idea of non-interference theory as reference and introduces the reasoning method of process algebra, thus abstracting the system as processes, actions, states and outputs, and giving the formal definition of the trusted of process running.Process isolation trusted theorem was verified formally.Furthermore, by associating process with system state, the definition and the theorem of system running trusted was proposed.The model was established by logic reasoning and independent of special security mechanism and enforcement.The trust of the running system can be realized by any method which satisfies the conditions of the model. |
| format | Article |
| id | doaj-art-3fec7906ad344a8eb06ffa006767b731 |
| 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-3fec7906ad344a8eb06ffa006767b7312025-01-14T08:30:00ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2009-01-013061174653054Non-interference trusted model based on processesZHANG Xing1CHEN You-lei2SHEN Chang-xiang2A novel abstract model for the design of trusted computing platform system was proposed.By using the basic idea of non-interference theory as reference and introduces the reasoning method of process algebra, thus abstracting the system as processes, actions, states and outputs, and giving the formal definition of the trusted of process running.Process isolation trusted theorem was verified formally.Furthermore, by associating process with system state, the definition and the theorem of system running trusted was proposed.The model was established by logic reasoning and independent of special security mechanism and enforcement.The trust of the running system can be realized by any method which satisfies the conditions of the model.http://www.joconline.com.cn/zh/article/74653054/trustednon-interferenceprocess running trustedsystem running trusted |
| spellingShingle | ZHANG Xing1 CHEN You-lei2 SHEN Chang-xiang2 Non-interference trusted model based on processes Tongxin xuebao trusted non-interference process running trusted system running trusted |
| title | Non-interference trusted model based on processes |
| title_full | Non-interference trusted model based on processes |
| title_fullStr | Non-interference trusted model based on processes |
| title_full_unstemmed | Non-interference trusted model based on processes |
| title_short | Non-interference trusted model based on processes |
| title_sort | non interference trusted model based on processes |
| topic | trusted non-interference process running trusted system running trusted |
| url | http://www.joconline.com.cn/zh/article/74653054/ |
| work_keys_str_mv | AT zhangxing1 noninterferencetrustedmodelbasedonprocesses AT chenyoulei2 noninterferencetrustedmodelbasedonprocesses AT shenchangxiang2 noninterferencetrustedmodelbasedonprocesses |