Carnegie Mellon University


Visible to the public Designed-In Security for Mobile Architectures


Mobile applications--both native and web-based--are a critical emerging segment of the software industry, and security for these applications is of increasing concern. Unfortunately, today's mobile applications are expressed at a low level of abstraction in which important security properties are implicit and only indirectly related to code, making assurance difficult.