A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem.