Covert compositional analysis of android inter app permission leakage Do Your Projects With Technology Experts To Get this projects Call : 9566355386 / 99625 88976 Web : http://www.lemenizinfotech.com Web : http://www.ieeemaster.com Mail : projects@lemenizinfotech.com Blog : http://ieeeprojectspondicherry.weebly.com Blog : http://www.ieeeprojectsinpondicherry.blogspot.in/ Youtube:https://www.youtube.com/watch?v=eesBNUnKvws

1. Do Your Projects With Domain Experts…
Copyright © 2015 LeMeniz Infotech. All rights reserved
Page number 1Page number 1
LeMeniz Infotech
36, 100 Feet Road, Natesan Nagar, Near Indira Gandhi Statue,
Pondicherry-605 005.
Call: 0413-4205444, +91 9566355386, 99625 88976.
Web : www.lemenizinfotech.com / www.ieeemaster.com
Mail : projects@lemenizinfotech.com
COVERT: Compositional Analysis of Android
Inter-App Permission Leakage
Abstract
Android is the most popular platform for mobile devices. It facilitates
sharing of data and services among applications using a rich inter-app
communication system. While access to resources can be controlled by the
Android permission system, enforcing permissions is not sufficient to prevent
security violations, as permissions may be mismanaged, intentionally or
unintentionally. Android’s enforcement of the permissions is at the level of
individual apps, allowing multiple malicious apps to collude and combine their
permissions or to trick vulnerable apps to perform actions on their behalf that are
beyond their individual privileges. In this paper, we present COVERT, a tool for
compositional analysis of Android inter-app vulnerabilities. COVERT’s analysis is
modular to enable incremental analysis of applications as they are installed,
updated, and removed. It statically analyzes the reverse engineered source code of
each individual app, and extracts relevant security specifications in a format
suitable for formal verification. Given a collection of specifications extracted in
this way, a formal analysis engine (e.g., model checker) is then used to verify
whether it is safe for a combination of applications—holding certain permissions
and potentially interacting with each other—to be installed together. Our
experience with using COVERT to examine over 500 real-world apps corroborates
its ability to find inter-app vulnerabilities in bundles of some of the most popular
apps on the market.

2. Do Your Projects With Domain Experts…
Copyright © 2015 LeMeniz Infotech. All rights reserved
Page number 2Page number 2
LeMeniz Infotech
36, 100 Feet Road, Natesan Nagar, Near Indira Gandhi Statue,
Pondicherry-605 005.
Call: 0413-4205444, +91 9566355386, 99625 88976.
Web : www.lemenizinfotech.com / www.ieeemaster.com
Mail : projects@lemenizinfotech.com
EXISTING SYSTEM
Enforcing permissions is not sufficient to prevent security violations, as
permissions may be mismanaged, intentionally or unintentionally.
DRAWBACK OF EXISTING SYSTEM
 Fail to identify vulnerabilities.
 Cannot be detected by techniques that analyze a single app in isolation.
PROPOSED SYSTEM
Compositional analysis of Android inter-app vulnerabilities. COVERT’s
analysis is modular to enable incremental analysis of applications as they are
installed, updated, and removed. COVERT combines static analysis with formal
methods.
ADVANTAGE OF PROPOSED SYSTEM
 Increase the security properties from individual apps.
 Increase the scope of application analysis.
SYSTEM SPECIFICATION
Hardware Requirements
System : Pentium IV 2.4 GHz
Hard Disk : 40 GB
Floppy Drive : 1.44 Mb

3. Do Your Projects With Domain Experts…
Copyright © 2015 LeMeniz Infotech. All rights reserved
Page number 3Page number 3
LeMeniz Infotech
36, 100 Feet Road, Natesan Nagar, Near Indira Gandhi Statue,
Pondicherry-605 005.
Call: 0413-4205444, +91 9566355386, 99625 88976.
Web : www.lemenizinfotech.com / www.ieeemaster.com
Mail : projects@lemenizinfotech.com
Monitor : 15 VGA Colour
Mouse : Logitech
Ram : 512 Mb
Software Requirements
Operating system : Windows Family
Tools : eclipse
Technology Used : Java
Backend Used : SQLITE