Jin Wang: Privacy Requirement Modeling and Verification in Cloud Computing. MoDELS (Doctoral Symposium) 2015