Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System

Traveling from one place to another takes time and cost. Especially for tourists who get difficulties to find worship locations because of a vast area with the numbers of worship location. This study aims to design application based android to determine the location of worship with the shortest path. A method used to develop the application is Waterfall method that includes the beginning of the analysis phase up to the application maintenance stage. Result from this research is Djikstra method can searching the location with the shortest path. Geolocation technology is used to identify a real-world geographical location that can be applied to the android operating system. As a case study, this research has been successfully applied to searching the location of worship in Kudus District include mosques, christian churches, catholic churches, and monasteries.

Download Full-text

A Review and Case Study on Android Malware: Threat Model, Attacks, Techniques and Tools

Journal of Cyber Security and Mobility ◽

10.13052/jcsm2245-1439.1018 ◽

2021 ◽

Author(s):

Charu Negi ◽

Preeti Mishra ◽

Pooja Chaudhary ◽

Harsh Vardhan

Keyword(s):

Operating System ◽

Feature Extraction ◽

Android Malware ◽

Threat Model ◽

The Past ◽

Android Platform ◽

Attack Taxonomy ◽

Android Operating System ◽

Malicious Apps

As android devices have increased in number in the past few years, the android operating system has started dominating the smartphone market. The vast spread of android across all the devices has made security an important issue as the android users continue to grow exponentially. The security of android platform has become the need of the hour in view of increase in the number of malicious apps and thus several studies have emerged to present the detection approaches. In this paper, we review the android components to propose a threat model that illustrates the possible threats that are present in the android. We also present the attack taxonomy to illustrate the possible attacks at various layers of the android architecture. Experiments demonstrating the feature extraction and classification using machine earning algorithms have also been performed.

Download Full-text

Pemanfaatan Android Dalam Perancangan Aplikasi Kumpulan Doa

Jurnal Sains dan Informatika ◽

10.22216/jsi.v4i1.3409 ◽

2018 ◽

Vol 4 (1) ◽

pp. 54-65

Author(s):

Efmi Maiyana

Keyword(s):

Operating System ◽

Open Source ◽

Daily Life ◽

Secondary Data ◽

Data Type ◽

Program Model ◽

Work Processes ◽

Design Work ◽

Analysis Design ◽

Android Operating System

Android is an Open Source operating system that gives developers the freedom to develop applications, with the advantages of android operating system, will help many android-based smartphone users to be able to enjoy various applications, one application is the Android-Based Preview Application, the main purpose of this Application is assisting Muslims in reciting the necessary prayers in daily life effectively and efficiently. The type of data used is a secondary data type in which data is obtained from reference books and literature related to this case. There are several stages in making this application, namely analysis, design, work processes, and evaluation of the program model that has been produced. This android-based prayer collection app, can be used on android-based smartphones in the least 4.1 version in this application testing can run smoothly

Download Full-text