Pirax: framework for application piracy control in mobile cloud environment

Mobile cloud computing is an emerging technology that is gaining popularity as a means to extend the capabilities of resource-constrained mobile devices such as a smartphone. Mobile cloud computing requires specialized application development models that support computation offloading from a mobile...

Full description

Saved in:
Bibliographic Details
Published in:The Journal of supercomputing 2014-05, Vol.68 (2), p.753-776
Main Authors: Khan, Atta ur Rehman, Othman, Mazliza, Ali, Mazhar, Khan, Abdul Nasir, Madani, Sajjad Ahmad
Format: Article
Language:English
Subjects:
Applications programs
Cloud computing
Compilers
Computation
Computer Science
Interpreters
Mobile communication systems
Original Paper
Piracy
Processor Architectures
Programming Languages
Smartphones
Solvers
Weight reduction
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Mobile cloud computing is an emerging technology that is gaining popularity as a means to extend the capabilities of resource-constrained mobile devices such as a smartphone. Mobile cloud computing requires specialized application development models that support computation offloading from a mobile device to the cloud. The computation offloading is performed by means of offloading application process, application component, entire application, or clone of the smartphone. The offloading of an entire application or clone of the smartphone to cloud may raise application piracy issues, which, unfortunately, have not been addressed in the existing literature. This paper presents a piracy control framework for mobile cloud environment, named Pirax, which prevents mobile applications from executing on unauthenticated devices and cloud resources. Pirax is formally verified using High Level Petri Nets, Satisfiability Modulo Theories Library and Z3 solver. Pirax is implemented on Android platform and analyzed from security and performance perspectives. The performance analysis results show that Pirax is lightweight and easy to integrate into existing mobile cloud application development models.
ISSN:0920-8542
1573-0484
DOI:10.1007/s11227-013-1061-1