{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:31:15Z","timestamp":1725723075257},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642374364"},{"type":"electronic","value":"9783642374371"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37437-1_8","type":"book-chapter","created":{"date-parts":[[2013,4,20]],"date-time":"2013-04-20T04:37:06Z","timestamp":1366432626000},"page":"88-99","source":"Crossref","is-referenced-by-count":0,"title":["A Methodology for the Development and Verification of Access Control Systems in Cloud Computing"],"prefix":"10.1007","author":[{"given":"Antonios","family":"Gouglidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Mavridis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Mahowald, R.P., Sullivan, C.G., Konary, A.: Market Analysis Perspective: Worldwide SaaS and Cloud Services, 2012 \u2014 New Models for Delivering Software (2012), \n                    \n                      http:\/\/www.idc.com\/getdoc.jsp?containerId=238635#.UM4QauTqmuM"},{"key":"8_CR2","unstructured":"Media, M.R. Global Cloud Computing Market Forecast 2015-2020 (2012), \n                    \n                      http:\/\/www.marketresearchmedia.com\/?p=839"},{"key":"8_CR3","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-11733-6_3","volume-title":"Networks for Grid Applications","author":"A. Gouglidis","year":"2010","unstructured":"Gouglidis, A., Mavridis, I.: On the definition of access control requirements for grid and cloud computing systems. In: Doulamis, A., Mambretti, J., Tomkos, I., Varvarigou, T. (eds.) GridNets 2009. LNICST, vol.\u00a025, pp. 19\u201326. Springer, Heidelberg (2010)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-31979-5_13","volume-title":"Information Security Practice and Experience","author":"F. Hansen","year":"2005","unstructured":"Hansen, F., Oleshchuk, V.A.: Conformance checking of RBAC policy and its implementation. In: Deng, R.H., Bao, F., Pang, H., Zhou, J. (eds.) ISPEC 2005. LNCS, vol.\u00a03439, pp. 144\u2013155. Springer, Heidelberg (2005)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Jayaraman, K., et al.: Automatic error finding in access-control policies. In: Proceedings of the 18th ACM Conference on Computer and Communications Security. ACM (2011)","DOI":"10.1145\/2046707.2046727"},{"issue":"01","key":"8_CR6","first-page":"103","volume":"21","author":"C. Vincent","year":"2011","unstructured":"Vincent, C., et al.: Model checking for verification of mandatory access control models and properties. International Journal of Software Engineering and Knowledge Engineering\u00a021(01), 103\u2013127 (2011)","journal-title":"International Journal of Software Engineering and Knowledge Engineering, 2011"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fisler, K., et al.: Verification and change-impact analysis of access-control policies. In: Proceedings of the 27th International Conference on Software Engineering. ACM (2005)","DOI":"10.1145\/1062455.1062502"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-69861-6_4","volume-title":"Security, Privacy, and Trust in Modern Data Management","author":"S. Capitani di Vimercati","year":"2007","unstructured":"Capitani di Vimercati, S., Foresti, S., Samarati, P.: Authorization and Access Control. In: Petkovi\u0107, M., Jonker, W. (eds.) Security, Privacy, and Trust in Modern Data Management, pp. 39\u201353. Springer, Heidelberg (2007)"},{"issue":"9","key":"8_CR9","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/35.312842","volume":"32","author":"R.S. Sandhu","year":"1994","unstructured":"Sandhu, R.S., Samarati, P.: Access Control: Principles and Practice. IEEE Communications Magazine\u00a032(9), 40\u201349 (1994)","journal-title":"IEEE Communications Magazine"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Foster, I., et al.: Cloud computing and grid computing 360-degree compared. In: Grid Computing Environments Workshop, GCE 2008. IEEE (2008)","DOI":"10.1109\/GCE.2008.4738445"},{"key":"8_CR11","unstructured":"Mather, T., Kumaraswamy, S., Latif, S.: Cloud Security and Privacy: An Enterprise Perspective on Risks and Compliance. O\u2019Reilly Media, Inc. 292 (2009)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Mell, P., Grance, T.: The NIST definition of cloud computing (draft), vol.\u00a0800, p. 145. NIST Special Publication (2011)","DOI":"10.6028\/NIST.SP.800-145"},{"key":"8_CR13","unstructured":"Sommerville, I., Kotonya, G.: Requirements engineering: processes and techniques. John Wiley & Sons, Inc. (1998)"},{"key":"8_CR14","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking, vol.\u00a026202649. MIT Press (2008)"},{"key":"8_CR15","unstructured":"Heljanko, K.: Model Checking based Software Verification (2006), \n                    \n                      http:\/\/iplu.vtt.fi\/digitalo\/modelchecking.pdf"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Girard, A., Pappas, G.: Verification using simulation. Hybrid Systems: Computation and Control, 272\u2013286 (2006)","DOI":"10.1007\/11730637_22"},{"key":"8_CR17","unstructured":"Stevens, R.: Systems engineering: coping with complexity. Pearson Education (1998)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Gouglidis, A., Mavridis, I.: domRBAC: An access control model for modern collaborative systems. Computers & Security (2012)","DOI":"10.1016\/j.cose.2012.01.010"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1057977.1057979","volume":"37","author":"W. Tolone","year":"2005","unstructured":"Tolone, W., et al.: Access control in collaborative systems. ACM Computing Surveys (CSUR)\u00a037(1), 29\u201341 (2005)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/32.481533","volume":"22","author":"L. Gong","year":"1996","unstructured":"Gong, L., Qian, X.: Computational issues in secure interoperation. IEEE Transactions on Software Engineering\u00a022(1), 43\u201352 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Hu, V.C., Kuhn, D.R., Xie, T.: Property verification for generic access control models. In: IEEE\/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2008. IEEE (2008)","DOI":"10.1109\/EUC.2008.22"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MITP.2008.54","volume":"10","author":"R. Kuhn","year":"2008","unstructured":"Kuhn, R., Lei, Y., Kacker, R.: Practical combinatorial testing: Beyond pairwise. IT Professional\u00a010(3), 19\u201323 (2008)","journal-title":"IT Professional"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Hwang, J.H., et al.: ACPT: A tool for modeling and verifying access control policies. In: 2010 IEEE International Symposium on Policies for Distributed Systems and Networks (2010)","DOI":"10.1109\/POLICY.2010.22"}],"container-title":["IFIP Advances in Information and Communication Technology","Collaborative, Trusted and Privacy-Aware e\/m-Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37437-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T09:26:29Z","timestamp":1557653189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37437-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642374364","9783642374371"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37437-1_8","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2013]]}}}