{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:55:16Z","timestamp":1725515716720},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705666"},{"type":"electronic","value":"9783540705673"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70567-3_2","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T03:57:37Z","timestamp":1216094257000},"page":"17-32","source":"Crossref","is-referenced-by-count":9,"title":["On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model"],"prefix":"10.1007","author":[{"given":"Manachai","family":"Toahchoodee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Ardagna, C.A., Cremonini, M., Damiani, E., di Vimercati, S.D.C., Samarati, P.: Supporting location-based conditions in access control policies. In: Proceedings of the ACM Symposium on Information, Computer and Communications Security, Taipei, Taiwan, March 2006, pp. 212\u2013222 (2006)","DOI":"10.1145\/1128817.1128850"},{"issue":"4","key":"2_CR2","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/TDSC.2004.32","volume":"1","author":"V. Atluri","year":"2004","unstructured":"Atluri, V., Chun, S.A.: An authorization model for geospatial data. IEEE Transactions on Dependable and Secure Computing\u00a01(4), 238\u2013254 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"1\/2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1504\/IJICS.2007.012247","volume":"1","author":"V. Atluri","year":"2007","unstructured":"Atluri, V., Chun, S.A.: A geotemporal role-based authorisation system. International Journal of Information and Computer Security\u00a01(1\/2), 143\u2013168 (2007)","journal-title":"International Journal of Information and Computer Security"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: TRBAC: a temporal role-based access control model. In: Proceedings of the 5th ACM Workshop on Role-Based Access Control, Berlin, Germany, pp. 21\u201330 (July 2000)","DOI":"10.1145\/344287.344298"},{"key":"2_CR5","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":"2_CR6","doi-asserted-by":"crossref","unstructured":"Chandran, S.M., Joshi, J.B.D.: LoT-RBAC: A Location and Time-Based RBAC Model. In: Proceedings of the 6th International Conference on Web Information Systems Engineering, New York, NY, USA, pp. 361\u2013375 (November 2005)","DOI":"10.1007\/11581062_27"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Covington, M.J., Fogla, P., Zhan, Z., Ahamad, M.: A Context-Aware Security Architecture for Emerging Applications. In: Proceedings of the Annual Computer Security Applications Conference , Las Vegas, NV, USA, pp. 249\u2013260 (December 2002)","DOI":"10.1109\/CSAC.2002.1176296"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Covington, M.J., Long, W., Srinivasan, S., Dey, A., Ahamad, M., Abowd, G.: Securing Context-Aware Applications Using Environment Roles. In: Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, Chantilly, VA, USA, pp. 10\u201320 (May 2001)","DOI":"10.1145\/373256.373258"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/501978.501980","volume":"4","author":"D.F. Ferraiolo","year":"2001","unstructured":"Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST Standard for Role-Based Access Control. ACM Transactions on Information and Systems Security\u00a04(3), 224\u2013274 (2001)","journal-title":"ACM Transactions on Information and Systems Security"},{"key":"2_CR10","unstructured":"Georg, G., Bieman, J., France, R.B.: Using Alloy and UML\/OCL to Specify Run-Time Configurati on Management: A Case Study. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. LNI, vol.\u00a0P-7, pp. 128\u2013141. German Informatics Society (2001)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hengartner, U., Steenkiste, P.: Implementing Access Control to People Location Information. In: Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, Yorktown Heights, NY, USA, pp. 11\u201320 (June 2004)","DOI":"10.1145\/990036.990039"},{"key":"2_CR12","unstructured":"Jackson, D.: Alloy 3.0 reference manual (2004), \n                    \n                      http:\/\/alloy.mit.edu\/reference-manual.pdf"},{"issue":"1","key":"2_CR13","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":"2_CR14","unstructured":"Leonhardt, U., Magee, J.: Security Consideration for a Distributed Location Service. Imperial College of Science, Technology and Medicine, London, UK (1997)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Ray, I., Toahchoodee, M.: A Spatio-temporal Role-Based Access Control Model. In: Proceedings of the 21st Annual IFIP WG 11.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":"2_CR16","doi-asserted-by":"crossref","unstructured":"Ray, I., Kumar, M.: Towards a Location-Based Mandatory Access Control Model. Computers & Security\u00a025(1) (February 2006)","DOI":"10.1016\/j.cose.2005.06.007"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Ray, I., Kumar, M., Yu, L.: LRBAC: A Location-Aware Role-Based Access Control Model. In: Proceedings of the 2nd International Conference on Information Systems Security, Kolkata, India, pp. 147\u2013161 (December 2006)","DOI":"10.1007\/11961635_10"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Ray, I., Li, N., France, R., Kim, D.-K.: Using UML to Visualize Role-Based Access Control Constraints. In: Proceedings of the 9th ACM symposium on Access Control Models and Technologies, Yorktown Heights, NY, USA, pp. 115\u2013124 (June 2004)","DOI":"10.1145\/990036.990054"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Sampemane, G., Naldurg, P., Campbell, R.H.: Access Control for Active Spaces. In: Proceedings of the Annual Computer Security Applications Conference , Las Vegas, NV, USA, pp. 343\u2013352 (December 2002)","DOI":"10.1109\/CSAC.2002.1176306"},{"key":"2_CR20","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 (February 2007), CERIAS TR 2007-08"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Schaad, A., Moffett, J.D.: A Lightweight Approach to Specification and Analysis of Role-Based Access Control Extensions. In: Proceedings of the 7th ACM Symposium on Access Control Models and Technologies, Monterey, CA, USA, pp. 13\u201322 (June 2002)","DOI":"10.1145\/507711.507714"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Simon, R., Zurko, M.E.: Separation of Duty in Role-based Environments. In: Proceedings of the 10th Computer Security Foundations Workshop, Rockport, MA, USA, pp. 183\u2013194 (June 1997)","DOI":"10.1109\/CSFW.1997.596811"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-39979-7_16","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M. Taghdiri","year":"2003","unstructured":"Taghdiri, M., Jackson, D.: A lightweight formal analysis of a multicast key management scheme. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 240\u2013256. Springer, Heidelberg (2003)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Yuan, C., He, Y., He, J., Zhou, Z.: A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty. In: Proceedings of the 2nd SKLOIS Conference on Information Security and Cryptology, Beijing, China, pp. 196\u2013210 (November 2006)","DOI":"10.1007\/11937807_16"}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security XXII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70567-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T11:10:15Z","timestamp":1551525015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70567-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705666","9783540705673"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70567-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}