Several noninterference model in CSP