Adaptive Backstepping Control of the Uncertain Liu Chaotic System

Abstract

The \u00a0static \u00a0analysis \u00a0of \u00a0secure \u00a0information \u00a0flow \u00a0has \u00a0been \u00a0studied \u00a0for \u00a0many \u00a0years. \u00a0The \u00a0existing methods tend to be overly conservative or to be overly attention to location information leak. This paper uses data \u00a0flow \u00a0analysis \u00a0to \u00a0deal \u00a0with \u00a0secure \u00a0information \u00a0flow. \u00a0Two \u00a0variables \u00a0of \u00a0dynamic \u00a0update \u00a0security \u00a0levels 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.