{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T15:43:34Z","timestamp":1782920614027,"version":"3.54.5"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2017,10,1]],"date-time":"2017-10-01T00:00:00Z","timestamp":1506816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cloud Comput."],"published-print":{"date-parts":[[2017,10,1]]},"DOI":"10.1109\/tcc.2015.2446458","type":"journal-article","created":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T18:54:36Z","timestamp":1434567276000},"page":"642-655","source":"Crossref","is-referenced-by-count":37,"title":["DaSCE: Data Security for Cloud Environment with Semi-Trusted Third Party"],"prefix":"10.1109","volume":"5","author":[{"given":"Mazhar","family":"Ali","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saif U. R.","family":"Malik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samee U.","family":"Khan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.01.025"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408793"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14992-4_13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.87"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2010.27"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1109\/TPDS.2011.252","article-title":"A secure erasure code-based cloud storage system with secure data forwarding","volume":"23","author":"lin","year":"2012","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"ref16","article-title":"A methodology for OSPF routing protocol verification","author":"malik","year":"0"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","article-title":"Satisfiability modulo theories: An Appetizer","volume":"5902","author":"moura","year":"2009","journal-title":"Formal Methods Foundations and Applications"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359176"},{"key":"ref4","first-page":"414","article-title":"The scyther tool: Verification, falsification, and analysis of security protocols","author":"cremers","year":"0","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2011.6085778"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00124891"},{"key":"ref5","year":"0"},{"key":"ref8","first-page":"502","article-title":"An extensible SAT-solver","author":"en","year":"0","journal-title":"Proc Int Conf Theory and Appl Satisfiability Testing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2400460"},{"key":"ref2","first-page":"69","article-title":"Is security lost in the clouds?","volume":"1","author":"blumenthal","year":"2011","journal-title":"Communications & Strategies"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref9","article-title":"Satisfiability solvers","author":"gomes","year":"2007","journal-title":"Handbook of Knowledge Representation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2010.186"},{"key":"ref22","first-page":"67","article-title":"On protecting integrity and confidentiality of cryptographic file system for outscored storage","author":"yun","year":"0","journal-title":"Proc ACM Workshop Cloud Comput Security"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.49"},{"key":"ref24","first-page":"393","article-title":"A survey of mobile cloud computing application models","volume":"16","year":"2013","journal-title":"IEEE Commun Surveys Tuts"},{"key":"ref23","article-title":"SeDaSC: Secure data sharing in clouds","author":"ali","year":"2015","journal-title":"IEEE Syst J"}],"container-title":["IEEE Transactions on Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245519\/8128654\/07126940.pdf?arnumber=7126940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:35:11Z","timestamp":1633919711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7126940\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,1]]},"references-count":24,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcc.2015.2446458","relation":{},"ISSN":["2168-7161"],"issn-type":[{"value":"2168-7161","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,1]]}}}