{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:31:28Z","timestamp":1761895888239,"version":"3.40.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319068589"},{"type":"electronic","value":"9783319068596"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06859-6_34","type":"book-chapter","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T12:58:33Z","timestamp":1399035513000},"page":"381-393","source":"Crossref","is-referenced-by-count":8,"title":["Towards a Formal Model for Cloud Computing"],"prefix":"10.1007","author":[{"given":"Zakaria","family":"Benzadri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chafia","family":"Bouanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Mell, P., Grance, T.: The nist definition of cloud computing. Technical Report 800-145, National Institute of Standards and Technology (NIST), Gaithersburg, MD (2011)","DOI":"10.6028\/NIST.SP.800-145"},{"key":"34_CR2","volume-title":"Executive\u2019s Guide to Cloud Computing","author":"E.A. Marks","year":"2010","unstructured":"Marks, E.A., Lozano, B.: Executive\u2019s Guide to Cloud Computing. John Wiley and Sons Inc., Hoboken (2010)"},{"key":"34_CR3","unstructured":"Armbrust, M., Fox, A., Grith, R., Joseph, A.D., Katz, R.H., Konwinski, A., Lee, G., Patterson, D.A., Rabkin, A., Stoica, I., Zaharia, M.: Above the clouds: A berkeley view of cloud computing. Technical Report UCB\/EECS-2009-28, EECS Department, University of California, Berkeley (2009)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511626661"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Dong, H., Hao, Q., Zhang, T., Zhang, B.: Formal discussion on relationship between virtualization and cloud computing. In: 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pp. 448\u2013453 (2010)","DOI":"10.1109\/PDCAT.2010.41"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Grandison, T., Maximilien, E., Thorpe, S., Alba, A.: Towards a formal definition of a computing cloud. In: 2010 6th World Congress on Services (SERVICES-1), pp. 191\u2013192 (2010)","DOI":"10.1109\/SERVICES.2010.111"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Luo, S.X., Liu, F.M., Ren, C.L.: A hierarchy attribute-based access control model for cloud storage. In: 2011 International Conference on Machine Learning and Cybernetics (ICMLC), vol.\u00a03, pp. 1146\u20131150 (2011)","DOI":"10.1109\/ICMLC.2011.6016897"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Adamov, A., Hahanov, V.: A security model of individual cyberspace. In: 2011 9th East-West Design Test Symposium (EWDTS), pp. 169\u2013172 (2011)","DOI":"10.1109\/EWDTS.2011.6116597"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Freitas, L., Watson, P.: Formalising workflows partitioning over federated clouds: Multi-level security and costs. In: 2012 IEEE Eighth World Congress on Services (SERVICES), pp. 219\u2013226 (2012)","DOI":"10.1109\/SERVICES.2012.75"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Binz, T., Fehling, C., Leymann, F., Nowak, A., Schumm, D.: Formalizing the cloud through enterprise topology graphs. In: 2012 IEEE 5th International Conference on Cloud Computing (CLOUD), pp. 742\u2013749 (2012)","DOI":"10.1109\/CLOUD.2012.143"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"He, R., Niu, J., Hu, K.: A novel approach to evaluate trustworthiness and uncertainty of trust relationships in peer-to-peer computing. In: The Fifth International Conference on Computer and Information Technology, CIT 2005, pp. 382\u2013388 (2005)","DOI":"10.1109\/CIT.2005.30"},{"key":"34_CR12","unstructured":"Fitch, D.F., Xu, H.: A petri net model for secure and fault-tolerant cloud-based information storage. In: SEKE, Knowledge Systems Institute Graduate School, pp. 333\u2013339 (2012)"},{"key":"34_CR13","series-title":"AISC","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/978-3-642-37502-6_71","volume-title":"Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)","author":"X. Fang","year":"2013","unstructured":"Fang, X., Wang, M., Wu, S.: A method for security evaluation in cloud computing based on petri behavioral profiles. In: Yin, Z., Pan, L., Fang, X. (eds.) Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). AISC, vol.\u00a0212, pp. 587\u2013593. Springer, Heidelberg (2013)"},{"key":"34_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-10665-1_13","volume-title":"Cloud Computing","author":"L. Hu","year":"2009","unstructured":"Hu, L., Ying, S., Jia, X., Zhao, K.: Towards an Approach of Semantic Access Control for Cloud Computing. In: Jaatun, M.G., Zhao, G., Rong, C. (eds.) Cloud Computing. LNCS, vol.\u00a05931, pp. 145\u2013156. Springer, Heidelberg (2009)"},{"key":"34_CR15","unstructured":"Howard, F., George, S.: Formal methods in model-driven development for service oriented and cloud computing (2010)"},{"key":"34_CR16","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/TSC.2011.52","volume":"5","author":"K.M. Sim","year":"2012","unstructured":"Sim, K.M.: Agent-based cloud computing. IEEE Transactions on Services Computing\u00a05, 564\u2013577 (2012)","journal-title":"IEEE Transactions on Services Computing"},{"key":"34_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33826-7_11","volume-title":"Software Engineering and Formal Methods","author":"R. Cosmo Di","year":"2012","unstructured":"Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a Formal Component Model for the Cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1320\u20131325. ACM (2012)","DOI":"10.1145\/2245276.2231985"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06859-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T17:13:34Z","timestamp":1746206014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06859-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319068589","9783319068596"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06859-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}