This paper proposes an analysis model based on the noninterference theory for the privacy problem of concurrent program（CPNIAM）

which can simplify the process of formal verification for concurrent programs

and analyze noninterference between concurrent processes after proofing the functional correctness of the processes.The examples show that CPNIAM can analyze that privacy information is leaked between concurrent processes by unreliable code

and the analysis results of the examples also can provide the guidance for the modification of the unreliable code for programmers.