Applying MVC and PAC patterns in mobile applications

A Dynamic Label Checking Approach for Information Flow Control in Web Services.