{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:52:09Z","timestamp":1761706329736,"version":"3.40.5"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319138404"},{"type":"electronic","value":"9783319138411"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13841-1_8","type":"book-chapter","created":{"date-parts":[[2014,12,3]],"date-time":"2014-12-03T13:02:35Z","timestamp":1417611755000},"page":"129-148","source":"Crossref","is-referenced-by-count":3,"title":["Temporal RBAC Security Analysis Using Logic Programming in the Presence of Administrative Policies"],"prefix":"10.1007","author":[{"given":"Sadhana","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shamik","family":"Sural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaideep","family":"Vaidya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijayalakshmi","family":"Atluri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bertino, E., Bonatti, P.A., Ferrari, E.: Trbac: A temporal role-based access control model. ACM Transactions on Information and System Security, 191\u2013233 (2001)","DOI":"10.1145\/501978.501979"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bertino, E., Catania, B., Damiani, M.L., Perlasca, P.: Geo-rbac: A spatially aware rbac. In: Proc. of the 10th ACM Symposium on Access Control Models and Technologies, pp. 29\u201337. ACM (2005)","DOI":"10.1145\/1063979.1063985"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Jha, S., Li, N., Tripunitara, M., Wang, Q., Winsborough, W.: Towards formal verification of role-based access control policies. IEEE Transactions on Dependable and Secure Computing, 242\u2013255 (2008)","DOI":"10.1109\/TDSC.2007.70225"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Joshi, J.B., Bertino, E., Latif, U., Ghafoor, A.: A generalized temporal role-based access control model. IEEE Transactions on Knowledge and Data Engineering, 4\u201323 (2005)","DOI":"10.1109\/TKDE.2005.1"},{"key":"8_CR5","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust management framework. In: Proc. of the IEEE Symposium on Security and Privacy, pp. 114\u2013130. IEEE (2002)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Li, N., Tripunitara, M.V.: Security analysis in role-based access control. ACM Transactions on Information and System Security, 391\u2013420 (2006)","DOI":"10.1145\/1187441.1187442"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Mondal, S., Sural, S.: Security analysis of temporal-rbac using timed automata. In: Proc. of the 4th International Conference on Information Assurance and Security, pp. 37\u201340. IEEE (2008)","DOI":"10.1109\/IAS.2008.10"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Mondal, S., Sural, S., Atluri, V.: Towards formal security analysis of gtrbac using timed automata. In: Symposium on Access Control Models and Technologies, pp. 33\u201342. ACM (2009)","DOI":"10.1145\/1542207.1542214"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Oh, S., Sandhu, R.: A model for role administration using organization structure. In: Proc. of the 7th ACM Symposium on Access Control Models and Technologies, pp. 155\u2013162. ACM (2002)","DOI":"10.1145\/507735.507737"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11961635_10","volume-title":"Information Systems Security","author":"I. Ray","year":"2006","unstructured":"Ray, I., Kumar, M., Yu, L.: LRBAC: A location-aware role-based access control model. In: Bagchi, A., Atluri, V. (eds.) ICISS 2006. LNCS, vol.\u00a04332, pp. 147\u2013161. Springer, Heidelberg (2006)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-73538-0_16","volume-title":"Data and Applications Security XXI","author":"I. Ray","year":"2007","unstructured":"Ray, I., Toahchoodee, M.: A spatio-temporal role-based access control model. In: Barker, S., Ahn, G.-J. (eds.) Data and Applications Security 2007. LNCS, vol.\u00a04602, pp. 211\u2013226. Springer, Heidelberg (2007)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Bhamidipati, V., Munawer, Q.: The arbac97 model for role-based administration of roles. ACM Transactions on Information and System Security, 105\u2013135 (1999)","DOI":"10.1145\/300830.300839"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Munawer, Q.: The arbac99 model for administration of roles. In: Proc. of the 15th Annual Conference on Computer Security Applications, pp. 229\u2013238. IEEE (1999)","DOI":"10.1109\/CSAC.1999.816032"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer, 38\u201347 (1996)","DOI":"10.1109\/2.485845"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Shafiq, B., Masood, A., Joshi, J., Ghafoor, A.: A role-based access control policy verification framework for real-time systems. In: 10th International Workshop Object-Oriented Real-Time Dependable Systems, pp. 13\u201320. IEEE (2005)","DOI":"10.1109\/WORDS.2005.11"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Sharma, M., Sural, S., Vaidya, J., Atluri, V.: Amtrac: An administrative model for temporal role-based access control. Computers & Security (2013)","DOI":"10.1007\/978-3-642-45204-8_28"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Toahchoodee, M., Ray, I.: Using alloy to analyze a spatio-temporal access control model supporting delegation. IET Information Security, 75\u2013113 (2009)","DOI":"10.1049\/iet-ifs.2008.0074"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Uzun, E., Atluri, V., Sural, S., Vaidya, J., Parlato, G., Ferrara, A.L., Parthasarathy, M.: Analyzing temporal role-based access control models. In: Proc. of the 17th ACM Symposium on Access Control Models and Technologies, pp. 177\u2013186. ACM (2012)","DOI":"10.1145\/2295136.2295169"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13841-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:48:39Z","timestamp":1747176519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13841-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319138404","9783319138411"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13841-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}