An SELinux-based Intent manager for Android

---