Security Downgrading Policies for Practicalof Software
Year: 2006
Journal of Information and Computing Science, Vol. 1 (2006), Iss. 2 : pp. 119–224
Abstract
Security downgrading policies control information flow and permit information release from a high security level to low security level. Many security downgrading policies are treated as declassification. This paper extend security policies to operations than declassification , the security downgrading policies support downgrading in practical software, each downgrading step is annotated with some operations when some conditions are satisfied. The security type system is formalized as relaxed noninterference.
Journal Article Details
Publisher Name: Global Science Press
Language: English
DOI: https://doi.org/2024-JICS-22852
Journal of Information and Computing Science, Vol. 1 (2006), Iss. 2 : pp. 119–224
Published online: 2006-01
AMS Subject Headings:
Copyright: COPYRIGHT: © Global Science Press
Pages: 106