TY - JOUR
T1 - Security Downgrading Policies for Practicalof Software
AU - 
JO - Journal of Information and Computing Science
VL - 2
SP - 119
EP - 224
PY - 2024
DA - 2024/01
SN - 1
DO - http://doi.org/
UR - https://global-sci.org/intro/article_detail/jics/22852.html
KW - downgrading, security policies, information flow, relaxed noninterference, declassification. 

AB -  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.