A Static Analysis Model for Implicit Information Leakage in Android Application

2018 ◽  
Author(s):  
Hongsheng Cao ◽  
Jian Jiao ◽  
Denghui Li
Keyword(s):  
Static Analysis ◽  
Information Leakage ◽  
Android Application ◽  
Analysis Model ◽  
Implicit Information

Identification of Cryptographic Vulnerability and Malware Detection in Android

2017 ◽  
Vol 11 (3) ◽  
pp. 15-28 ◽  
Author(s):  
Anjali Kumawat ◽  
Anil Kumar Sharma ◽  
Sunita Kumawat
Keyword(s):  
Dynamic Analysis ◽  
Static Analysis ◽  
Malware Detection ◽  
Android Application ◽  
Malicious Attacks ◽  
Web Page ◽  
Static And Dynamic Analysis ◽  
Android System ◽  
User Friendly ◽  
The Web

Android based Smartphones are nowadays getting more popular. While using Smartphone, user is always concerned about security and malicious attacks, cryptographic vulnerability of the applications. With increase in the number of Android mobiles, Android malwares are also increasing very rapidly. So the authors have proposed the “Identification of cryptographic vulnerability and malware detection in Android” system. They have designed a user friendly android application, through which user and developer can easily test the application whether it is benign or vulnerable. The application will be tested firstly using static analysis and then the dynamic analysis will be carried out. The authors have implemented static and dynamic analysis of android application for vulnerable and malicious app detection. They have also created a web page. User can either use the application or the web page.

A New Dynamic Protocol Analysis Model

2013 ◽  
Vol 765-767 ◽  
pp. 1761-1765
Author(s):  
Fu Lin Li ◽  
Jie Yang ◽  
Hong Wei Zhou ◽  
Ying Liu
Keyword(s):  
Static Analysis ◽  
Theorem Proving ◽  
Protocol Analysis ◽  
Experimental Results ◽  
Analysis Model ◽  
Formal Validation ◽  
Analysis Methods

Traditional static analysis methods such as formal validation and theorem proving were used to analyze protocols security previously. These methods can not measure and evaluate actual security of protocols accurately for the setting and suppose are far from the actual conditions. This paper proposes a new dynamic protocol analysis model. The system based on the model can be used to active test in actual running conditions, analyze known protocols security, integrity, robustness, and analyze unknown protocols online, provide support for protocol designer. The systems structure, working flow and implementation of key modules are described. The experimental results validate the validity of the models design.

scholarly journals Visual Detection for Android Malware using Deep Learning

2020 ◽  
Vol 10 (1) ◽  
pp. 152-156
Keyword(s):  
Deep Learning ◽  
Main Idea ◽  
Mobile Internet ◽  
Android Application ◽  
Analysis Model ◽  
Android Malware ◽  
Proposed Model ◽  
Learning Technique ◽  
Android Applications ◽  
High Level

The most serious threats to the current mobile internet are Android Malware. In this paper, we proposed a static analysis model that does not need to understand the source code of the android applications. The main idea is as most of the malware variants are created using automatic tools. Also, there are special fingerprint features for each malware family. According to decompiling the android APK, we mapped the Opcodes, sensitive API packages, and high-level risky API functions into three channels of an RGB image respectively. Then we used the deep learning technique convolutional neural network to identify Android application as benign or as malware. Finally, the proposed model succeeds to detect the entire 200 android applications (100 benign applications and 100 malware applications) with an accuracy of over 99% as shown in experimental results.

Identification of Cryptographic Vulnerability and Malware Detection in Android

2021 ◽  
pp. 58-74
Author(s):  
Anjali Kumawat ◽  
Anil Kumar Sharma ◽  
Sunita Kumawat
Keyword(s):  
Dynamic Analysis ◽  
Static Analysis ◽  
Malware Detection ◽  
Android Application ◽  
Malicious Attacks ◽  
Web Page ◽  
Static And Dynamic Analysis ◽  
Android System ◽  
User Friendly ◽  
The Web

Android based Smartphones are nowadays getting more popular. While using Smartphone, user is always concerned about security and malicious attacks, cryptographic vulnerability of the applications. With increase in the number of Android mobiles, Android malwares are also increasing very rapidly. So the authors have proposed the “Identification of cryptographic vulnerability and malware detection in Android” system. They have designed a user friendly android application, through which user and developer can easily test the application whether it is benign or vulnerable. The application will be tested firstly using static analysis and then the dynamic analysis will be carried out. The authors have implemented static and dynamic analysis of android application for vulnerable and malicious app detection. They have also created a web page. User can either use the application or the web page.

Static Analysis Model For Assessing Source Codes With TFIDF

2021 ◽  
Author(s):  
Ricardo Lemos De Souza ◽  
Fabiana Zaffalon Ferreira ◽  
Silvia Da Silva Botelho
Keyword(s):  
Static Analysis ◽  
Analysis Model ◽  
Source Codes

scholarly journals Nonlinear Static Analysis and Structural Optimization of Rigid Clamp Band Connection Device between Launch Vehicle and Satellite

2020 ◽  
Vol 38 (5) ◽  
pp. 1122-1128
Author(s):  
Xin Guo ◽  
Shiyao Zhu ◽  
Guanri Liu ◽  
Bin Yu ◽  
Qiaofei Zhang ◽  
...  
Keyword(s):  
Static Analysis ◽  
Structural Strength ◽  
Axial Loading ◽  
Launch Vehicle ◽  
Parametric Modeling ◽  
Nonlinear Static Analysis ◽  
Analysis Model ◽  
Section Shape ◽  
Heavy Lift ◽  
Stiffness Characteristics

The Rigid Clamp Band Connection Device (RCBCD) is a novel satellite-rocket connection method adapted to the heavy lift trend of the launch vehicle. The static analysis model for the Rigid Clamp Band (RCB) and the Docking Ring (DR) under preloading state is established, and the structural strength and connection stiffness characteristics under the axial loading are analyzed, and the axisymmetric equivalent and parametric modeling techniques are combined to optimize the section shape parameter, which improves the overall connection performance. The results show that the structural stress concentrated on the "line-to-face" contact position between RCB and DR. Increasing the axial dimension of RCB, reducing the V-type angle and deepening the occlusion depth of RCB and DR can effectively improve the connection rigidity of RCB. By optimizing the section shape, the connection performance of RCBCD can be improved by above 70% under the structural strength and mass constraints.

Sign in / Sign up

Export Citation Format

Share Document