{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T02:24:01Z","timestamp":1776997441533,"version":"3.51.4"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,10,1]],"date-time":"2018-10-01T00:00:00Z","timestamp":1538352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National University of Computer and Emerging Sciences (FAST-NUCES)"},{"DOI":"10.13039\/501100007278","name":"National University of Sciences and Technology (NUST)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007278","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Pakistan and University of Birmingham"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cloud Comput."],"published-print":{"date-parts":[[2018,10,1]]},"DOI":"10.1109\/tcc.2016.2560161","type":"journal-article","created":{"date-parts":[[2016,4,29]],"date-time":"2016-04-29T01:03:05Z","timestamp":1461891785000},"page":"942-954","source":"Crossref","is-referenced-by-count":7,"title":["A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1447-3912","authenticated-orcid":false,"given":"Imran","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zahid","family":"Anwar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eike","family":"Ritter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habib-ur","family":"Rehman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"0"},{"key":"ref38","first-page":"107","article-title":"Analyzing unlinkability and anonymity using\n the applied Pi calculus","author":"arapinis","year":"0","journal-title":"Proc 23rd IEEE Symp on Foundations of Computer Science"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382226"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043576"},{"key":"ref30","year":"2008"},{"key":"ref37","first-page":"16","article-title":"Plaintext\n recovery attacks against SSH","author":"lbrecht","year":"0","journal-title":"Proc IEEE 30th Symp Security and Privacy"},{"key":"ref36","year":"0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1456396.1456397"},{"key":"ref34","first-page":"147","article-title":"Breaking and fixing the needham-schroeder public-key protocol\n using CSP and FDR","author":"lowe","year":"0","journal-title":"Proc Int Workshop Tools Algorithms Construction Analytical Systems"},{"key":"ref10","first-page":"211","article-title":"Introducing the trusted virtual environment module: A new mechanism for rooting trust in cloud computing","author":"krautheim","year":"0","journal-title":"Proceedings of the 3rd International Conference on Trust and Trustworthy Computing"},{"key":"ref40","first-page":"31","article-title":"SATMC: A\n SAT-based model checker for security critical systems","author":"armando","year":"0","journal-title":"Proc Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1496909.1496919"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043575"},{"key":"ref13","article-title":"Intel virtualization technology for directed I\/O","year":"2008","journal-title":"Intel publications"},{"key":"ref14","first-page":"14","article-title":"How low can you go? Recommendations for hardware-supported minimal\n TCB code execution","author":"mccune","year":"0","journal-title":"Proc Int Conf Archit Support Programm Languages Operat Syst"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2009.93"},{"key":"ref16","first-page":"828","article-title":"A hypervisor-based system for protecting software runtime memory\n and persistent storage","author":"dewan","year":"0","journal-title":"Proc Spring Simul Multi-Conf"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"ref18","article-title":"Towards\n trusted cloud computing","author":"santos","year":"0","journal-title":"Proc Conf Hot Topics Cloud Comput"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346278"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-011-0124-7"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2010.42"},{"key":"ref3","year":"2005","journal-title":"Advanced Micro Devices AMD64 virtualization Secure virtual machine architecture reference manual AMD Publication no 33047 rev 3 01"},{"key":"ref27","year":"0"},{"key":"ref6","year":"2009"},{"key":"ref5","first-page":"78","article-title":"Outsourcing large matrix inversion computation to a public cloud","volume":"1","author":"lei","year":"2013","journal-title":"IEEE Trans Cloud Comput"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352625"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2013.18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2013.11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2046660.2046682"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"ref1","first-page":"292","article-title":"Setting up the European cloud partnership","author":"kroes","year":"2012","journal-title":"World Economic Forum"},{"key":"ref20","year":"0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2011.105"},{"key":"ref21","first-page":"223","article-title":"Design and implementation\n of a TCG-based integrity measurement architecture","author":"sailer","year":"0","journal-title":"Proc 13th Usenix Security Symp"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560462"},{"key":"ref24","year":"2012"},{"key":"ref41","article-title":"Towards application security on untrusted operating systems","author":"ports","year":"0","journal-title":"Proc 3rd Conf Hot Topics Security"},{"key":"ref23","year":"2012"},{"key":"ref44","first-page":"136","article-title":"Cryptographic cloud storage","author":"seny","year":"0","journal-title":"14th International Conference on Financial Cryptography and Data Security"},{"key":"ref26","year":"2011"},{"key":"ref43","first-page":"1152","article-title":"Capability based cryptographic data access\n control in cloud computing","volume":"1","author":"hota","year":"0","journal-title":"Int J Adv Netw Appl"},{"key":"ref25","year":"2011"}],"container-title":["IEEE Transactions on Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245519\/8558660\/07462242.pdf?arnumber=7462242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T02:41:13Z","timestamp":1643251273000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7462242\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,1]]},"references-count":44,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcc.2016.2560161","relation":{},"ISSN":["2168-7161","2372-0018"],"issn-type":[{"value":"2168-7161","type":"electronic"},{"value":"2372-0018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,1]]}}}