{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:53:22Z","timestamp":1725893602534},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336089"},{"type":"electronic","value":"9783642336096"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33609-6_8","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:58:43Z","timestamp":1348613923000},"page":"67-78","source":"Crossref","is-referenced-by-count":6,"title":["Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy"],"prefix":"10.1007","author":[{"given":"Emsaieb","family":"Geepalla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Last","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"8_CR1","first-page":"912","volume":"5","author":"H.-C. Chen","year":"2010","unstructured":"Chen, H.-C., Wang, S.-J., Wen, J.-H., Huang, Y.-F., Chen, C.-W.: A Generalized Temporal and Spatial Role-Based Access Control Model. JNW\u00a05(8), 912\u2013920 (2010)","journal-title":"JNW"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-85735-8_6","volume-title":"Trust, Privacy and Security in Digital Business","author":"I. Ray","year":"2008","unstructured":"Ray, I., Toahchoodee, M.: A Spatio-temporal Access Control Model Supporting Delegation for Pervasive Computing Applications. In: Furnell, S.M., Katsikas, S.K., Lioy, A. (eds.) TrustBus 2008. LNCS, vol.\u00a05185, pp. 48\u201358. Springer, Heidelberg (2008)"},{"key":"8_CR3","unstructured":"Samuel, A., Ghafoor, A., Bertino, E.: A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model. Technical report, Purdue University, CERIAS TR 2007-08 (February 2007)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Toahchoodee, M., Ray, I.: On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model. In: Proceedings of the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security, pp. 17\u201332 (July 2008)","DOI":"10.1007\/978-3-540-70567-3_2"},{"key":"8_CR5","volume-title":"Software Abstractions Logic, Language, and Analysis","author":"J. Daniel","year":"2006","unstructured":"Daniel, J.: Software Abstractions Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bertino, E., Catania, B., Damiani, M.L., Perlasca, P.: GEO-RBAC: a spatially aware RBAC. In: Proceedings of the 10th ACM Symposium on Access Control Models and Technologies, Stockholm, Sweden, pp. 29\u201337 (June 2005)","DOI":"10.1145\/1063979.1063985"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Chen, L., Crampton, J.: On Spatio-Temporal Constraints and Inheritance in Role-Based Access Control. In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, Tokyo, Japan, pp. 205\u2013216 (March 2008)","DOI":"10.1145\/1368310.1368341"},{"key":"8_CR8","unstructured":"Zao, J., Wee, H., Chu, J., Jackson, D.: RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis (2002), \n                    \n                      http:\/\/alloy.mit.edu\/publications.php"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TKDE.2005.1","volume":"17","author":"J.B.D. Joshi","year":"2005","unstructured":"Joshi, J.B.D., Bertino, E., Latif, U., Ghafoor, A.: A Generalized Temporal Role-Based Access Control Model. IEEE Transactions on Knowledge and Data Engineering\u00a017(1), 4\u201323 (2005)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Ray, I., Toahchoodee, M.: A Spatio-temporal Role-Based Access Control Model. In: Proceedings of the 21st Annual IFIPWG11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, pp. 211\u2013226 (July 2007)","DOI":"10.1007\/978-3-540-73538-0_16"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: the alloy constraint analyzer, In: International Conference on Software Engineering (ICSE 2000), pp. 730\u2013733 (2000)","DOI":"10.1145\/337180.337616"},{"key":"8_CR12","unstructured":"Bordbar, B., Anastasakis, K.: UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. In: IADIS International Conference in Applied Computing 2005, Algarve, Portugal, pp. 209\u2013216 (2005)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Mondal, S., Sural, S.: XML-based policy specification framework for spatiotemporal access control. In: SIN 2009, pp. 98\u2013103 (2009)","DOI":"10.1145\/1626195.1626220"},{"key":"8_CR14","unstructured":"Bhatti, R., Joshi, J., Bertino, E., Ghafoor, A.: Access Control in Dynamic XML-Based Web-Services with X-RBAC. In: Proceedings of ICWS 2003 (2003)"},{"key":"8_CR15","unstructured":"Ferraiolo, D.F., Richard Kuhn, D., Chandramouli, R.: Role Based Access Control, 2nd edn (2007)"},{"key":"8_CR16","unstructured":"Ray, I., Bordbar, B., Toahchoodee, M., Anastasakis, K., Georg, G.: Ensuring Spatio-Temporal Access Control for Real-World Applications, pp. 978\u2013971. ACM, doi: 978-1-60558-537-6\/09\/06"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/11880240_25","volume-title":"Model Driven Engineering Languages and Systems","author":"D.H. Akehurst","year":"2006","unstructured":"Akehurst, D.H., Bordbar, B., Evans, M.J., Howells, W.G.J., McDonald-Maier, K.D.: SiTra: Simple Transformations in Java. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 351\u2013364. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33609-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:15:45Z","timestamp":1620130545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33609-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336089","9783642336096"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33609-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}