Emsaieb Geepalla

According to our database, Emsaieb Geepalla authored at least 6 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications.

Emsaieb Geepalla

Proceedings of the Third International Conference on Cyber Security, 2014

2013

Model-driven approaches to analysing time- and location-dependent access control specifications.

Emsaieb Geepalla

PhD thesis, 2013

Spatio-temporal Role Based Access Control for Physical Access Control Systems.

Emsaieb Geepalla, Behzad Bordbar, Xiaofeng Du

Proceedings of the Fourth International Conference on Emerging Security Technologies, 2013

2012

Verification of Spatio-Temporal Role Based Access Control using Timed Automata.

Emsaieb Geepalla, Behzad Bordbar, Kozo Okano

Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy.

Emsaieb Geepalla, Behzad Bordbar, Joel Last

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

On formalizing of inconsistency and semi-consistency in spatio-temporal access control.

Emsaieb Geepalla, Behzad Bordbar

Proceedings of the Seventh International Conference on Digital Information Management, 2012