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: 2013-06-10 12:47:45

Open Document

File Size: 664,66 KB

Share Result on Facebook

Company

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

Currency

pence / /

/

Event

Layoffs / /

Facility

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

IndustryTerm

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

OperatingSystem

Linux / Android / /

Organization

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

Person

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

Position

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

ProgrammingLanguage

Java / L / C / /

ProvinceOrState

Pennsylvania / /

Technology

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

SocialTag