{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:38:11Z","timestamp":1729643891071,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/nesea.2012.6474023","type":"proceedings-article","created":{"date-parts":[[2013,3,20]],"date-time":"2013-03-20T18:50:34Z","timestamp":1363805434000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Spatio-Temporal Role Based Access Control using Timed Automata"],"prefix":"10.1109","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":"Kozo","family":"Okano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/LICS.1990.113766"},{"year":"2002","author":"shafiq","journal-title":"Petri-net Model for Verification of RBAC Policies","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/1542207.1542214"},{"year":"2007","author":"samuel","journal-title":"A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model","key":"3"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/978-3-540-85735-8_6"},{"key":"1","first-page":"125126","article-title":"UPPAAL 4.0","author":"behrmann","year":"2006","journal-title":"Proc 2nd Int Conf Quantitative Evaluation of Syst"},{"key":"10","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-540-73538-0_16","article-title":"A spatio-temporal role-based access control model","author":"ray","year":"2007","journal-title":"Proceedings of the 21st Annual IFIPWG11 3 Working Conference on Data and Applications Security"},{"key":"7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/1368310.1368341","article-title":"On spatio-temporal constraints and inheritance in role-based access control","author":"chen","year":"2008","journal-title":"Proceedings of the 2008 ACM symposium on Information computer and communications security"},{"key":"6","first-page":"200236","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"4th International School on FormalMethods for the Design of Computer Communication and Software Systems"},{"year":"2006","author":"daniel","journal-title":"Software Abstractions Logic Language and Analysis","key":"5"},{"key":"4","first-page":"17","article-title":"On the formal analysis of a spatio-temporal role-based access control model","author":"toahchoodee","year":"2008","journal-title":"Proceedings of the 22nd Annual IFIP WG 11 3 Working Conference on Data and Applications Security"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.4304\/jnw.5.8.912-920"},{"key":"8","first-page":"87124","article-title":"Timed automata: Semantics, algorithms and tools","volume":"3098","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets"}],"event":{"name":"2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)","start":{"date-parts":[[2012,12,13]]},"location":"Liverpool, United Kingdom","end":{"date-parts":[[2012,12,14]]}},"container-title":["2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6470767\/6474006\/06474023.pdf?arnumber=6474023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T00:13:40Z","timestamp":1644624820000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6474023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/nesea.2012.6474023","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}