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

Emsaieb Geepalla, Behzad Bordbar, Joel Last

Browse the full MEDI paper archive.