19453

COM2 517

دكتري

مهندسي كامپيوتر گرايش نرم‌افزار

دانشكده مهندسي كامپيوتر گروه مهندسي نرم‌افزار

مهرماه 1399

122ص.

بهروز ترك لاداني

برنامه هاي آندرويد , نشت اطلاعات , تحليل رديابي اجرا , وارسي مدل , آسيب‌پذيري

1399/12/19

صديقه رمضاني

Android Applications , Information Leakage Detection , Taint Analysis , Vulnerability , Model Checking

Information‬ ‫‪Leakage Detection ‬‫‪‫‪in‬ ‫‪Android Applications ‫‪Using‬‬ ‫‪Model‬‬ ‫‪Checking‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬‬