Security Downgrading Policies for Practicalof Software
Cited by
Export citation
- BibTex
- RIS
- TXT
@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}
}
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.
. (2024). Security Downgrading Policies for Practicalof Software.
Journal of Information and Computing Science. 1 (2).
119-224.
doi:
Copy to clipboard