Noninterference model for integrity
The integrity noninterference model was investigated based on Rushby’s work.It was shown that the view-partitioned system and the reference monitor assumption-based system defined by Rushby still satisfy noninterfer-ence in the integrity condition as they do in the confidentiality condition;the inte...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2011-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/thesisDetails?columnId=74413068&Fpath=home&index=0 |