Rigorous Analysis of Temporal Access Control Properties in Mobile Systems.

Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray

Browse the full ICECCS paper archive.