This paper analyzes a formal method of analyzing storage covert channel identification based on information flow analysis, discussing the key points in details.

Each module either returns information that controls the flow of further analysis or generates information for a report.

The article introduced the educational administration management information system system analysis part, including feasibility analysis, data flow analysis and demand analysis and so on;