TY - JOUR
T1 - Adaptive Backstepping Control of the Uncertain Liu Chaotic System
AU - 
JO - Journal of Information and Computing Science
VL - 4
SP - 252
EP - 260
PY - 2024
DA - 2024/01
SN - 2
DO - http://doi.org/
UR - https://global-sci.org/intro/article_detail/jics/22789.html
KW - 
AB - <p style="text-align: justify;">The &nbsp;static &nbsp;analysis &nbsp;of &nbsp;secure &nbsp;information &nbsp;flow &nbsp;has &nbsp;been &nbsp;studied &nbsp;for &nbsp;many &nbsp;years. &nbsp;The &nbsp;existing 
methods tend to be overly conservative or to be overly attention to location information leak. This paper uses 
data &nbsp;flow &nbsp;analysis &nbsp;to &nbsp;deal &nbsp;with &nbsp;secure &nbsp;information &nbsp;flow. &nbsp;Two &nbsp;variables &nbsp;of &nbsp;dynamic &nbsp;update &nbsp;security &nbsp;levels 
were introduced. The program is secure without any variable of downgrade security level at exit of a program. 
The analysis can deal with more secure programs. The soundness of the analysis is proved.</p>