Research Article
Computation Integrity in Mobile Cloud: Running Probabilistically Checkable Proof on Android
@INPROCEEDINGS{10.4108/icst.collaboratecom.2013.254081, author={Clinton Walker and Qijun Gu and Terry Penner}, title={Computation Integrity in Mobile Cloud: Running Probabilistically Checkable Proof on Android}, proceedings={9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing}, publisher={ICST}, proceedings_a={COLLABORATECOM}, year={2013}, month={11}, keywords={android probabilistically checkable proof mobile cloud}, doi={10.4108/icst.collaboratecom.2013.254081} }- Clinton Walker
Qijun Gu
Terry Penner
Year: 2013
Computation Integrity in Mobile Cloud: Running Probabilistically Checkable Proof on Android
COLLABORATECOM
IEEE
DOI: 10.4108/icst.collaboratecom.2013.254081
Abstract
Abstract—Mobile cloud computing is a viable collaborative computing paradigm for the Internet of Things (IOT) to strengthen the synergy of mobile devices. The security of such collaborative computing needs much attention. This paper explores how to use Probabilistically Checkable Proof (PCP) on Android devices to verify if offloaded computation is correctly executed by remote devices. The paper shows that PCP could be viable for use in a mobile cloud environment. However, PCP may incur a significant overhead due to the low data throughput of the wireless network used by Android devices. The cost of overhead may outweigh any gains from verifying computation on remote Android devices. We conducted various experiments utilizing PCP in a mobile network of several Android devices and showed where PCP is beneficial and where improvements could be made to create an efficient and practical system.