{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:30:21Z","timestamp":1729672221693,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/cts.2012.6261089","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T13:09:50Z","timestamp":1344431390000},"page":"447-454","source":"Crossref","is-referenced-by-count":24,"title":["Cloud calculus: Security verification in elastic cloud computing platform"],"prefix":"10.1109","author":[{"given":"Y.","family":"Jarraya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Eghtesadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Pourzandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941570"},{"journal-title":"Amazon Web Services Overview of Security Processes","year":"2011","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.06.002"},{"key":"3","doi-asserted-by":"crossref","first-page":"59","DOI":"10.4156\/jcit.vol6.issue2.7","article-title":"A formal modeling method for grid workflow based on concurrent transaction logic","volume":"6","author":"zhilin feng","year":"2011","journal-title":"JCIT Journal of Convergence Information Technology"},{"key":"2","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/AINA.2005.48","article-title":"A practical modelling notation for secure distributed computation","volume":"2","author":"lee","year":"2005","journal-title":"Proc 21st International Conference on Advanced Information Networking and Applications AINA'07"},{"key":"1","first-page":"273","article-title":"Live migration of virtual machines","author":"keir","year":"2005","journal-title":"Proc of Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1851182.1851212"},{"key":"7","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-36578-8_8","article-title":"Spatial security policies for mobile agents in a sentient computing environment","author":"scott","year":"2003","journal-title":"Proc of the International Conference on Fundamental Approaches to Software Engineering"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2009.125"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2046660.2046672"},{"key":"4","first-page":"142","article-title":"Concurrency and communication in transaction logic","author":"bonner","year":"1996","journal-title":"JICSLP'96"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1555271.1555278"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/GCE.2008.4738445"}],"event":{"name":"2012 International Conference on Collaboration Technologies and Systems (CTS)","start":{"date-parts":[[2012,5,21]]},"location":"Denver, CO, USA","end":{"date-parts":[[2012,5,25]]}},"container-title":["2012 International Conference on Collaboration Technologies and Systems (CTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247135\/6261004\/06261089.pdf?arnumber=6261089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T13:10:00Z","timestamp":1562073000000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6261089\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cts.2012.6261089","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}