کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328859 685186 2005 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Improving the Security of Downloadable Java Applications With Static Analysis
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Improving the Security of Downloadable Java Applications With Static Analysis
چکیده انگلیسی
MATOS (Midlet Analysis TOol Suite) is a static analysis tool that checks the possible values passed to some identified methods directly on the compiled application. It is used by the test teams of the mobile operator Orange to check what kind of connections are opened by MIDP applications. We will present the security requirements we want to check, how MATOS helps to ensure them and how the necessary analysis are performed using a combination of (rather) well-known analysis techniques.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 141, Issue 1, 5 December 2005, Pages 129-144
نویسندگان
, ,