Emsaieb Geepalla, Behzad Bordbar, Kozo Okano. Verification of Spatio-Temporal Role Based Access Control using Timed Automata. In 3rd IEEE International Conference on Networked Embedded Systems for Every Application, NESEA 2013, Liverpool, United Kingdom, December 13-14, 2012. pages 1-6, IEEE Computer Society, 2012. [doi]
Abstract is missing.