{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T17:53:05Z","timestamp":1772819585965,"version":"3.50.1"},"reference-count":28,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Security"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1016\/j.cose.2010.09.002","type":"journal-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T08:33:36Z","timestamp":1285144416000},"page":"128-147","source":"Crossref","is-referenced-by-count":14,"title":["Security analysis of GTRBAC and its variants using model checking"],"prefix":"10.1016","volume":"30","author":[{"given":"Samrat","family":"Mondal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shamik","family":"Sural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vijayalakshmi","family":"Atluri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.cose.2010.09.002_bib1","doi-asserted-by":"crossref","unstructured":"Ahmed T, Tripathi A. Static verification of security requirements in role based CSCW systems. In: Proceedings of the 8th ACM symposium on access control models and technologies; 2003. p. 196\u20133.","DOI":"10.1145\/775436.775438"},{"key":"10.1016\/j.cose.2010.09.002_bib2","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Dill DL. Model checking for real time systems. In: Proceedings of the 5th symposium on logic in computer science; 1990,p. 414\u201325.","DOI":"10.1109\/LICS.1990.113766"},{"issue":"2","key":"10.1016\/j.cose.2010.09.002_bib3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoritical Computer Science"},{"key":"10.1016\/j.cose.2010.09.002_bib4","series-title":"Principles of model checking","author":"Baier","year":"2008"},{"key":"10.1016\/j.cose.2010.09.002_bib5","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG. A tutorial on UPPAAL. In: 4th International school on formal methods for the design of computer, communication and software systems; 2004. p. 200\u2013236.","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"3","key":"10.1016\/j.cose.2010.09.002_bib6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/501978.501979","article-title":"TRBAC: a temporal role based access control model","volume":"4","author":"Bertino","year":"2001","journal-title":"ACM Transactions on Information and System Security"},{"issue":"2","key":"10.1016\/j.cose.2010.09.002_bib7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/1065545.1065547","article-title":"X-GTRBAC: an XML based policy specification framework and architecture for enterprise wide access control","volume":"8","author":"Bhatti","year":"2005","journal-title":"ACM Transactions on Information and System Security"},{"issue":"4","key":"10.1016\/j.cose.2010.09.002_bib8","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1145\/1108906.1108909","article-title":"X-GTRBAC admin: a decentralized administration model for enterprise wide access control","volume":"8","author":"Bhatti","year":"2005","journal-title":"ACM Transactions on Information and System Security"},{"issue":"3","key":"10.1016\/j.cose.2010.09.002_bib9","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/501978.501980","article-title":"Proposed NIST standard for role based access control","volume":"4","author":"Ferraiolo","year":"2001","journal-title":"ACM Transactions on Information and System Security"},{"key":"10.1016\/j.cose.2010.09.002_bib10","doi-asserted-by":"crossref","unstructured":"Furfaro A, Nigro L. Temporal verification of communicating real time state machines using uppaal. In: Proceedings of the IEEE international conference on industrial technology; 2003. p. 399\u20134.","DOI":"10.1109\/ICIT.2003.1290345"},{"key":"10.1016\/j.cose.2010.09.002_bib11","doi-asserted-by":"crossref","unstructured":"Gal A, Atluri V. An authorization model for temporal data. In: Proceedings of 7th ACM conference on computer and communication security; 2000. p. 144\u20133.","DOI":"10.1145\/352600.352621"},{"issue":"8","key":"10.1016\/j.cose.2010.09.002_bib12","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/360303.360333","article-title":"Protection in operating systems","volume":"19","author":"Harrison","year":"1976","journal-title":"Communications of the ACM"},{"issue":"4","key":"10.1016\/j.cose.2010.09.002_bib13","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TDSC.2007.70225","article-title":"Towards formal verification of role based access control policies","volume":"5","author":"Jha","year":"2008","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"10.1016\/j.cose.2010.09.002_bib14","doi-asserted-by":"crossref","unstructured":"Jones AK, Lipton RJ, Snyder L. A linear time algorithm for deciding security. In Proceedings of the 17th annual IEEE symposium on foundations of computer science; 1976. p. 33\u201341.","DOI":"10.1109\/SFCS.1976.1"},{"issue":"1","key":"10.1016\/j.cose.2010.09.002_bib15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/TKDE.2005.1","article-title":"A generalized temporal role-based access control model","volume":"17","author":"Joshi","year":"2005","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"10.1016\/j.cose.2010.09.002_bib16","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TDSC.2005.18","article-title":"An analysis of expressiveness and design issues for the generalized temporal role-based access control model","volume":"2","author":"Joshi","year":"2005","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"10.1016\/j.cose.2010.09.002_bib17","doi-asserted-by":"crossref","unstructured":"Koch M, Mancini LV, Parisi-Presicce F. Decidability of safety in graph-based models for access control. In: Proceedings of the 7th European symposium on research in computer security; 2002. p. 229\u201343.","DOI":"10.1007\/3-540-45853-0_14"},{"issue":"4","key":"10.1016\/j.cose.2010.09.002_bib19","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/1187441.1187442","article-title":"Security analysis in role based access control","volume":"9","author":"Li","year":"2006","journal-title":"ACM Transactions on Information and System Security"},{"key":"10.1016\/j.cose.2010.09.002_bib20","article-title":"Conformance testing of temporal role-based access control systems","author":"Masood","year":"2009","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"10.1016\/j.cose.2010.09.002_bib21","doi-asserted-by":"crossref","unstructured":"Mondal S, Sural S. Security analysis of Temporal RBAC using timed automata. In Proceedings of the 4th international symposium on information assurance and security; 2008a. p. 37\u201340.","DOI":"10.1109\/IAS.2008.10"},{"key":"10.1016\/j.cose.2010.09.002_bib22","doi-asserted-by":"crossref","unstructured":"Mondal S, Sural S. A verification framework for temporal RBAC with Role Hierarchy. In Proceedings of the 4th international conference on information and systems security; 2008b. p. 140\u20137.","DOI":"10.1007\/978-3-540-89862-7_11"},{"issue":"3","key":"10.1016\/j.cose.2010.09.002_bib23","first-page":"319","article-title":"Security analysis of RBAC with temporal constraints \u2013 a model checking approach","volume":"4","author":"Mondal","year":"2009","journal-title":"Journal of Information Assurance and Security"},{"key":"10.1016\/j.cose.2010.09.002_bib24","doi-asserted-by":"crossref","unstructured":"Mondal S, Sural S, Atluri V. Towards formal security analysis of GTRBAC using timed automata. In: 14th ACM symposium on access control models and technologies; 2009. p. 33\u201342.","DOI":"10.1145\/1542207.1542214"},{"key":"10.1016\/j.cose.2010.09.002_bib25","article-title":"Security analysis of role based access control models using colored Petri Nets and CPN tools","volume":"vol. 4","author":"Rakkay","year":"2009"},{"issue":"2","key":"10.1016\/j.cose.2010.09.002_bib26","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/42282.42286","article-title":"The schematic protection model: its definition and analysis for acyclic attenuating systems","volume":"35","author":"Sandhu","year":"1988","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.cose.2010.09.002_bib27","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: Proceedings of the 10th IEEE international workshop on object oriented real time dependable systems; 2005. p. 13\u201320.","DOI":"10.1109\/WORDS.2005.11"},{"key":"10.1016\/j.cose.2010.09.002_bib28","doi-asserted-by":"crossref","unstructured":"Stoller SD, Yang P, Ramakrishnan CR, Gofman MI. Efficient policy analysis for administrative role based access control. In: Proceedings of the 14th ACM conference on computer and communications security; 2007. p. 445\u20135.","DOI":"10.1145\/1315245.1315300"},{"key":"10.1016\/j.cose.2010.09.002_bib29","doi-asserted-by":"crossref","unstructured":"Zhang Y, Joshi JBD. UAQ: a framework for user authorization query processing in RBAC extended with hybrid hierarchy and constraints. In: Proceedings of the 13th ACM symposium on access control models and technologies; 2008. p. 83\u20132.","DOI":"10.1145\/1377836.1377850"}],"container-title":["Computers & Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167404810000817?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167404810000817?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T23:55:32Z","timestamp":1740527732000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167404810000817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":28,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["S0167404810000817"],"URL":"https:\/\/doi.org\/10.1016\/j.cose.2010.09.002","relation":{},"ISSN":["0167-4048"],"issn-type":[{"value":"0167-4048","type":"print"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}