Back to Results
First PageMeta Content
Smartphones / Android / Mandatory Integrity Control / Java / Computing / Software / Embedded Linux


Run-Time Enforcement of InformationFlow Properties on Android Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Limin Jia, Kazuhide Fukushima, Shinsaku Kiyomoto, and Yutaka Miyake July 23, 2012 (Revised December 7, 2012)
Add to Reading List

Document Date: 2014-11-11 20:30:18

Open Document

File Size: 664,66 KB

Share Result on Facebook

Company

AMR / KDDI R&D Laboratories Inc. / AMEX / K LC / /

Currency

pence / /

/

Event

Layoffs / /

Facility

CMU-CyLab-12-015 CyLab Carnegie Mellon University / /

IndustryTerm

Internet Email Figure / reactive systems / legacy applications / malware targeting mobile devices / permission systems / intra-application communications / isolation between applications / Internet permission / similar mobile devices / information-flow type systems / android.permission.INTERNET / to their applications / /

OperatingSystem

Linux / Android / /

Organization

CMU-CyLab-12-015 CyLab Carnegie Mellon University Pittsburgh / Carnegie Mellon University / /

Person

Limin Jia / Elli Fragkaki / Yutaka Miyake / Shinsaku Kiyomoto / Android Jassim Aljuraidan Elli Fragkaki / Viewer Private / Shinsaku Kiyomoto Yutaka Miyake Carnegie / Elli Fragkaki Lujo Bauer Limin / /

Position

File manager for secret files Editor Viewer Private / editor / file manager / the editor / manager / its static integrity label / Enforcement Architecture We model / Manager The label manager / text editor / rt / activity manager for labels / file manager / fair scheduler / programming model / argument rt / secret-file manager for managing files / Model of Android / secret-file manager / activity manager / editor and the file manager / model / activity manager / and the label manager / manager exits / enhanced activity manager / faithful process-calculus model / general-purpose editor / representative / label manager / special editor / programmer / secret files Editor / /

ProgrammingLanguage

Java / C / L / /

ProvinceOrState

Pennsylvania / /

Technology

Virtual Machine / Linux / API / Android / operating system / operating systems / mobile devices / Java / smartphones / simulation / /

SocialTag