Nanjing Audit University;
Nanjing;
211815;
China;
Center for Data Science;
Courant Institute of Mathematical Sciences;
New York University;
New York;
10011-8868;
USA;
Cloud computing security; information flow security; noninterference; noninterference models;