| Summary: | 碩士 === 國立東華大學 === 資訊工程學系 === 94 === Information flow control is an important issue to prevent information leakage during program execution. In this thesis, we use the OAIFC model to control information flows. OAIFC offers the features of controlling information flow among objects, those between methods and variables, and those of return variables. We use the concept of agent to implement the model, which is embedded in JAVA. With this implementation, the overhead of the main program will be lower in multi-CPU systems and we can use single Security Checking Agent to control the information flows of multiple programs.
|
|---|
