A Typed Theory for Access Control and Information Flow Control in Mobile Systems.

Libin Wang, Kefei Chen

Browse the full ACISP paper archive.