Paper Info
Title
Pirax: framework for application piracy control in mobile cloud environment
Abstract
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.
Year
DOI
Venue
2014
10.1007/s11227-013-1061-1
The Journal of Supercomputing
Keywords
Field
DocType
Mobile cloud computing,Mobile cloud application piracy,Application models,Mobile cloud piracy control framework,Application piracy
Mobile computing,Mobile cloud computing,Mobile search,Petri net,Android (operating system),Computer science,Computation offloading,Mobile device,Cloud computing,Distributed computing
Journal
Volume
Issue
ISSN
68
2
0920-8542
Citations 
PageRank 
References 
9
0.50
12
Authors
5
Name
Order
Citations
PageRank
Atta Ur Rehman Khan144923.80
Mazliza Othman243023.19
Mazhar Ali3773.69
Abdul Nasir Khan425714.85
Sajjad Ahmad Madani540926.21