@Article{JICS-1-119,
author = {},
title = {Security Downgrading Policies for Practicalof Software},
journal = {Journal of Information and Computing Science},
year = {2024},
volume = {1},
number = {2},
pages = {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. 
},
issn = {1746-7659},
doi = {https://doi.org/},
url = {http://global-sci.org/intro/article_detail/jics/22852.html}
}