{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:53:27Z","timestamp":1730213607975,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/cybersec.2014.6913965","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T21:01:08Z","timestamp":1412802068000},"page":"16-21","source":"Crossref","is-referenced-by-count":0,"title":["Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications"],"prefix":"10.1109","author":[{"given":"Emsaieb","family":"Geepalla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model-Driven Approach to Analysing Time and Location Dependent Access Control Specifications","year":"2013","author":"geepalla","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553587"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"journal-title":"Model Driven Architecture Applying MDA to Enterprise Computing","year":"2003","author":"frankel","key":"15"},{"key":"16","article-title":"An automated approach to detect inconsistency and semi-consistency spatio-temporal role based access control specification","volume":"2","author":"geepalla","year":"2012","journal-title":"Data Processing in Japan"},{"key":"13","first-page":"200","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"},{"journal-title":"Timed Automata for the Development of Real-time Systems Technical Report","year":"2011","author":"tawhid bin waez","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1542207.1542214"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IAS.2008.10"},{"key":"3","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"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85735-8_6"},{"key":"1","first-page":"211","article-title":"A spatio-temporal role based access control model","author":"ray","year":"2007","journal-title":"Proceedings of the 21st Annual IFIP WG 11 3 Working Conference on Data and Applications Security"},{"journal-title":"RBAC Schema Verification Using Lightweight Formal Model and Constraint Analysis","year":"2002","author":"zao","key":"10"},{"key":"7","first-page":"8","article-title":"Timed automata","volume":"1633","author":"alur","year":"1999","journal-title":"Proceedings of the 11th International Conference on Computer-aided Verification (CAV)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33609-6_8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICDIM.2012.6360119"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1049\/iet-ifs.2008.0074"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1542207.1542212"},{"key":"8","first-page":"2007","author":"samuel","year":"2007","journal-title":"A Framework for Specification and Verification of Generalized Spatio-Temporal Role Based Access Control Model Technical Report"}],"event":{"name":"2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)","start":{"date-parts":[[2014,4,29]]},"location":"Beirut, Lebanon","end":{"date-parts":[[2014,5,1]]}},"container-title":["2014 Third International Conference on Cyber Security, Cyber Warfare and Digital Forensic (CyberSec)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6908325\/6913961\/06913965.pdf?arnumber=6913965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:21:43Z","timestamp":1490307703000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913965\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cybersec.2014.6913965","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}