A Language and Framework for Development of Secure Mobile Applications
biblio
Submitted by Katie Dey on Fri, 10/24/2014 - 12:52pm
biblio
Submitted by scherlis on Wed, 09/17/2014 - 6:30pm
group_project
Submitted by JonathanAldrich on Mon, 10/15/2012 - 6:43pm
Mobile applications are a critical emerging segment of the software industry, and security for web-based mobile applications is of increasing concern. We hypothesize that many of the most important security vulnerabilities in web-based mobile applications are a consequence of expressing programs at a low level of abstraction, in which important security properties are implicit and only indirectly related to code. In order to test this hypothesis, we are building a system for expressing web-based mobile applications at a higher level of abstraction, in which security properties a