On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model.

Manachai Toahchoodee, Indrakshi Ray

Browse the full DBSEC paper archive.