تشخيص نشت اطلاعات در برنامه هاي آندرويدي با كمك وارسي مدل

سيستم عامل آندرويد به دليل وجود توسعه دهندگان فعال و فراگير بودن، كاربران زيادي را به خود جذب كرده است. اين در حالي است كه بسياري از برنامه هاي نوشته شده براي اين محيط، دقت كافي در حفظ حريم خصوصي كاربران به خرج نمي دهند و به آساني منجر به نشت اطلاعات حساس كاربران مي شوند. بنابراين، يك چالش اصلي اين است كه چطور مي توان به صورت مؤثري چنين آسيب پذيري هايي را شناسايي كرد. در اين مقاله رويكردي مبتني بر چارچوب وارسي مدل به منظور تشخيص امكان نشت اطلاعات حساس در برنامه هاي آندرويدي از طريق وارسي رفتار برنامه ها ارائه مي كنيم. براي اين كار ابزار  JPF - Android را براي سازگار كردن با مسئله موردنظر توسعه داده و از آن براي مدل سازي و وارسي نشت اطلاعات در برنامه هاي آندرويدي استفاده مي كنيم. براي ارزيابي رويكرد ارائه شده، توانايي آن در تشخيص نشت اطلاعات را به صورت عملي با ارزيابي و با رويكردهاي مشابه مقايسه كرده ايم. نتايج آزمايش هاي انجام شده حاكي از آن است كه رويكرد پيشنهادي به طور موفقيت آميزي قادر به تشخيص نشت اطلاعات است. به علاوه ابزار تهيه شده گزارش مفصلي را به توسعه دهندگان ارائه مي دهد تا اطلاعات دقيقي از نحوه انجام نشت اطلاعات به دست آورند.