Emsaieb Geepalla

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Top Venues

University of Birmingham, UK (PHD)

Education History

University of Birmingham, UK

PHD

Publications

Emsaieb Geepalla
Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications. CyberSec (2014)
Emsaieb Geepalla, Behzad Bordbar, Xiaofeng Du
Spatio-temporal Role Based Access Control for Physical Access Control Systems. EST (2013)
Emsaieb Geepalla, Behzad Bordbar, Joel Last
Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. MEDI (2012)
Emsaieb Geepalla, Behzad Bordbar
On formalizing of inconsistency and semi-consistency in spatio-temporal access control. ICDIM (2012)
Emsaieb Geepalla, Behzad Bordbar, Kozo Okano
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA (2012)