{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T23:04:36Z","timestamp":1772147076493,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s11227-013-1061-1","type":"journal-article","created":{"date-parts":[[2013,11,30]],"date-time":"2013-11-30T06:52:03Z","timestamp":1385794323000},"page":"753-776","source":"Crossref","is-referenced-by-count":18,"title":["Pirax: framework for application piracy control in mobile cloud environment"],"prefix":"10.1007","volume":"68","author":[{"given":"Atta ur Rehman","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mazliza","family":"Othman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mazhar","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul Nasir","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sajjad Ahmad","family":"Madani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,1]]},"reference":[{"key":"1061_CR1","doi-asserted-by":"crossref","unstructured":"Khan AR, Othman M, Madani SA, Khan SU (2013), A survey of mobile cloud computing application models. IEEE Commun Surv Tut 99(PP):1\u201321. doi: 10.1109\/SURV.2013.062613.00160","DOI":"10.1109\/SURV.2013.062613.00160"},{"issue":"5","key":"1061_CR2","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1016\/j.future.2012.08.003","volume":"29","author":"AN Khan","year":"2013","unstructured":"Khan AN, Kiah MLM, Khan SU, Madani SA (2013) Towards secure mobile cloud computing: a survey. Future Gener Comput Syst 29(5):1278\u20131299","journal-title":"Future Gener Comput Syst"},{"key":"1061_CR3","unstructured":"Chun B, Ihm S, Maniatis P, Naik M (2010) CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution. Computing Research Repository (CoRR) abs\/1009.3088"},{"key":"1061_CR4","doi-asserted-by":"crossref","unstructured":"Zhang X, Jeong S, Kunjithapatham A, Gibbs S (2010) Towards an elastic application model for augmenting computing capabilities of mobile platforms. In: Proceedings of international ICST conference on mobile wireless middleware, operating systems, and applications, June 2010","DOI":"10.1007\/978-3-642-17758-3_12"},{"key":"1061_CR5","doi-asserted-by":"crossref","unstructured":"March V, Gu Y, Leonardi E, Goh G, Kirchberg M (2011) Lee BS (2011) $$\\mu $$ \u03bc Cloud: towards a new paradigm of rich mobile applications. In: Proceedings of international conference on mobile web information systems (MobiWIS)","DOI":"10.1016\/j.procs.2011.07.080"},{"key":"1061_CR6","doi-asserted-by":"crossref","unstructured":"Cuervo E, Balasubramanian A, Cho DK, Wolman A, Saroiu S, Chandra R, Bahl P (2010) MAUI: making smartphones last longer with code offload. In: 8th International conference on mobile systems, applications and aervices (MobiSys \u201910), 2010, pp 49\u201362","DOI":"10.1145\/1814433.1814441"},{"key":"1061_CR7","unstructured":"Ma RKK, King LT, Cho-li W (2011) eXCloud: Transparent runtime support for scaling mobile applications in cloud. In: Proceedings of international conference on cloud and service computing (CSC), Dec 2011"},{"key":"1061_CR8","unstructured":"Kosta S, Aucinas A, Hui P, Mortier R, Zhang X (2011) Unleashing the power of mobile cloud computing using ThinkAir. Computing Research Repository (CoRR) abs\/1105.3232"},{"key":"1061_CR9","unstructured":"Kemp R, Palmer NP, Kielmann T, Bal HE (2010) Cuckoo: a computation offloading framework for smartphones. In: Proceedings of international conference on mobile computing, applications, and services (MobiCASE\u20192010), Oct 2010"},{"key":"1061_CR10","unstructured":"DeveloperWorks survey (2013) http:\/\/public.dhe.ibm.com\/software\/dw\/survey\/2010surveyresults\/2010surveresults-pdf.pdf . 19 Jan 2013"},{"key":"1061_CR11","unstructured":"International Data Corporation (2013) http:\/\/www.idc.com\/getdoc.jsp?containerId=prUS23028711 . 21 Jan 2013"},{"key":"1061_CR12","unstructured":"Application Piracy (2013) http:\/\/www.rascal.co.il\/smartphones.html . 3 Mar 2013"},{"key":"1061_CR13","unstructured":"Mobile cloud computing - Devices, trends, issues, and the enabling technologies (2013) http:\/\/public.dhe.ibm.com\/software\/dw\/cloud\/library\/cl-mobilecloudcomputing-pdf.pdf . 3 Jan 2013"},{"key":"1061_CR14","unstructured":"Android App Market reaches 500,000 submissions (2013) http:\/\/www.informationweek.com\/news\/personal-tech\/mobile-apps\/231901537 . 2 Jan 2013"},{"key":"1061_CR15","unstructured":"How piracy ruins it for paid apps (2013) http:\/\/news.cnet.com\/8301-1035_3-20107572-94\/how-piracy-ruins-it-for-paid-apps-inside-apps . 3 Jan 2013"},{"key":"1061_CR16","unstructured":"App Anti-Piracy (2013) http:\/\/www.mtiks.com . 7 Jan 2013"},{"key":"1061_CR17","unstructured":"Android Market Game Piracy (2013) http:\/\/www.wired.co.uk\/news\/archive\/2012-05\/02\/android-market-game-piracy . 8 Jan 2013"},{"key":"1061_CR18","unstructured":"Android (2013) http:\/\/www.android.com . 10 Jan 2013"},{"key":"1061_CR19","unstructured":"Apple iOS5 (2013) http:\/\/www.apple.com\/ios . 10 Jan 2013"},{"key":"1061_CR20","unstructured":"Nokia Symbian (2013) http:\/\/symbian.nokia.com . 10 Jan 2013"},{"key":"1061_CR21","unstructured":"Windows Mobile (2013), http:\/\/www.microsoft.com\/download\/en\/windowsMobile.aspx?q=windows+mobile , 10 Jan 2013"},{"key":"1061_CR22","unstructured":"BlackBerry 7 OS (2012) http:\/\/www.rim.com\/products\/blackberry_os7.shtml . 15 July 2012"},{"key":"1061_CR23","unstructured":"The Piracy Problem In Chinas Mobile Game Market (2013) http:\/\/micgadget.com\/18949\/the-piracy-problem-in-chinas-mobile-game-market . 15 Jan 2013"},{"key":"1061_CR24","unstructured":"Android Market Game Piracy (2013) http:\/\/www.wired.co.uk\/news\/archive\/2012-05\/02\/android-market-game-piracy . 17 Jan 2013"},{"key":"1061_CR25","doi-asserted-by":"crossref","unstructured":"Tendulkar V, Snyder R, Pletcher J, Butler K, Shashidharan A, Enck W (2012) Abusing cloud-based browsers for fun and profit. In: Proceedings of 28th annual computer security applications conference (ACSAC), Orlando, FL, December 2012","DOI":"10.1145\/2420950.2420984"},{"key":"1061_CR26","unstructured":"Node-locked License model (2013) http:\/\/idlastro.gsfc.nasa.gov\/idl_html_help\/Licensing_Methods.html , 10 Jan 2013"},{"key":"1061_CR27","unstructured":"GSMA association\u2014IMEI allocation and approval guidelines (2011) http:\/\/www.gsma.com\/documents\/ts-06-6-0-imei-allocation-and-approval-guidelines\/20164\/ . 5 Jan 2013"},{"key":"1061_CR28","unstructured":"Changing or keeping a UUID for a moved virtual machine (2013) http:\/\/kb.vmware.com\/selfservice\/microsites\/search.do?cmd=displayKC&externalId=1541 . 5 Jan 2013"},{"key":"1061_CR29","unstructured":"Virtualbox (2013) http:\/\/www.virtualbox.org . 15 Feb 2013"},{"key":"1061_CR30","unstructured":"VMware (2013) http:\/\/www.vmware.com . 15 Feb 2013"},{"key":"1061_CR31","unstructured":"Michel D (2013) Petri nets: fundamental models, verification and applications. Wiley-ISTE, New York, 2013"},{"key":"1061_CR32","doi-asserted-by":"crossref","unstructured":"Moura L, Bjrner N (2009), Satisfiability modulo theories: an appetizer. In: Oliveira MVM, Woodcock J (eds), Lecture notes in computer science, vol 5902. Springer, Berlin, pp 23\u201336","DOI":"10.1007\/978-3-642-10452-7_3"},{"key":"1061_CR33","unstructured":"Z3 Solver (2012) http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3\/ml\/z3.html . 10 Dec 2012"},{"key":"1061_CR34","unstructured":"Malik SUR, Srinivasan SK, Khan SU, Wang L (2012) A methodology for OSPF routing protocol verification. In: Proceedings of international conference on scalable computing and communications (ScalCom), Changzhou, China, Dec 2012"},{"key":"1061_CR35","unstructured":"Android SDK (2013) http:\/\/developer.android.com\/sdk\/index.html . 13 Jan 2013"},{"key":"1061_CR36","unstructured":"RSA Cryptography Standard (2012) PKCS# 1 v2.2 RSA Laboratories. 27 Oct 2012"},{"key":"1061_CR37","unstructured":"FIB PUB (2008) Secure Hath Standard (SHS). Federal Information Processing Standards Publication"},{"key":"1061_CR38","unstructured":"RSA Laboratories (2013) http:\/\/www.rsa.com\/rsalabs\/node.asp?id=2004 . 2 Jan 2013"},{"key":"1061_CR39","doi-asserted-by":"crossref","unstructured":"Khan AN, Kiah MLM, Madani SA, Khan AR, Ali M (2013) Enhanced dynamic credential generation scheme for protection of user identity in mobile-cloud computing. J Super Comput. doi: 10.1007\/s11227-013-0967-y","DOI":"10.1007\/s11227-013-0967-y"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-013-1061-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-013-1061-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-013-1061-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T08:03:08Z","timestamp":1564905788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-013-1061-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,1]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["1061"],"URL":"https:\/\/doi.org\/10.1007\/s11227-013-1061-1","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,1]]}}}