Wiki

Version 2 (hans, 06/24/2014 08:52 pm)

1 1 hans
h1. Trusted @Intent@ Interaction
2 1 hans
3 2 hans
* background: "Improving trust and flexibility in interactions between Android apps":https://guardianproject.info/2014/01/21/improving-trust-and-flexibility-in-interactions-between-android-apps/
4 2 hans
* source: https://github.com/guardianproject/TrustedIntents
5 2 hans
6 1 hans
the approaches to implementing the trust checking
7 1 hans
* pinning
8 1 hans
* TOFU/POP
9 1 hans
10 1 hans
tokens to check
11 1 hans
* the package ID of the app
12 1 hans
* the signing key of the app (see "android:protectionLevel":https://developer.android.com/guide/topics/manifest/permission-element.html)
13 1 hans
* a Chooser with a pinned list of package names (like PixelKnot)
14 1 hans
* the hash of the APK
15 1 hans
** needed to verify that the APK has not been modfied "ref":http://arstechnica.com/security/2013/07/google-patches-critical-android-threat-as-working-exploit-is-unleashed/
16 1 hans
** test exploit https://gist.github.com/poliva/36b0795ab79ad6f14fd8
17 1 hans
** http://www.saurik.com/id/17
18 1 hans
19 1 hans
20 1 hans
h3. When to Verify?
21 1 hans
22 1 hans
There are two good opportunities for verifying senders and receivers: at install and on each @Intent@/@startActivity()@ interaction.  Running the verify on install means that it is rarely run but means more complicated code.  Running the verify on each @Intent@ interaction means the verification is run every time, but the code should be much simpler.  Since the point of this system is security, simpler code is more important than execution efficiency.
23 1 hans
24 1 hans
25 1 hans
h3. Chained Validation Methods
26 1 hans
27 1 hans
Validation is based a token.  If the token does not exist in a given step, then the check goes on to the next step.  If the token does have an entry but it does not match, then validation stops and an error is thrown.
28 1 hans
29 1 hans
# check pins
30 1 hans
# check TOFU/POP
31 1 hans
# prompt user
32 1 hans
33 1 hans
h2. Sending @Intents@ to a trusted recipient
34 1 hans
35 1 hans
If data needs to be sent to another app and the receiving app must be trusted.  For example, if your app uses an OpenPGP providing app, then the sender wants to be sure that the receiver is the right app.
36 1 hans
37 1 hans
* @isIntentReceiverTrusted()@
38 1 hans
* @startTrustedActivity()@
39 1 hans
* @startTrustedActivityForResult()@
40 1 hans
* @bindTrustedService@
41 1 hans
* @onActivityResult()@ would then also handle validation problems and prompts
42 1 hans
* maybe @onTrustedActivityResult()@?
43 1 hans
44 1 hans
h2. Receiving @Intents@ from a trusted sender
45 1 hans
46 1 hans
Provide a method for a receiver to verify that the sender is the right one.  For example, with ChatSecure it will become possible for other apps to send data via OTRDATA.  Once the user has clicked "Accept Always" then ChatSecure should remember that and verify that each incoming @Intent@ is allowed to be processed.  Another example is ChatSecure allows apps to send an @Intent@ to create an account.
47 1 hans
48 1 hans
* @isIntentSenderTrusted(Intent intent)@
49 1 hans
* Both service intents and activity intents should be handled
50 1 hans
** Look into @Binder.getCallingPid / getCallingUid@
51 1 hans
** If all else fails, might need an auth token exchange
52 1 hans
53 1 hans
h2. TOFU/POP callbacks
54 1 hans
55 1 hans
For using TOFU/POP validation rather than pinning, there needs to be some callbacks to allow the app to display the relevant UI.
56 1 hans
57 1 hans
* @onFirstUse()@ - the first time a @packageName@ is seen
58 1 hans
* @onValidateFailed()@ - if there is a mismatch between the @packageName@ and the signing certificate
59 1 hans
60 1 hans
61 1 hans
h2. validation methods on @PACKAGE_ADDED@/@PACKAGE_REPLACED@/@PACKAGE_CHANGED@
62 1 hans
63 1 hans
* calculating the APK hash is heavy because it has to read the whole APK
64 1 hans
* this can be done on when receiving the @Broadcast@s from the system
65 1 hans
* then a framework handles tracking this
66 1 hans
* only verifies signing key or hash when the app is installed/upgraded
67 1 hans
* lightweight version of @getTrustedIntent()@ and @startTrustedActivity()@
68 1 hans
* trusts Android system entirely
69 1 hans
* app must include changes to @AndroidManifest.xml@ to register @BroadcastReceiver@
70 1 hans
71 1 hans
72 1 hans
h2. sources of relevant code
73 1 hans
74 1 hans
* "PackageManager.addPermission":https://developer.android.com/reference/android/content/pm/PackageManager.html#addPermission(android.content.pm.PermissionInfo)
75 1 hans
* "Intent.ACTION_PACKAGE_ADDED":https://developer.android.com/reference/android/content/Intent.html#ACTION_PACKAGE_ADDED
76 1 hans
* https://github.com/moxie0/AndroidPinning
77 1 hans
* https://github.com/ge0rg/MemorizingTrustManager
78 1 hans
* https://github.com/guardianproject/ICTD/blob/master/src/info/guardianproject/ictd/ICTD.java#L62 (InformaCam)
79 1 hans
* martus-android's version of OrbotHelper.java
80 1 hans
* http://www.unwesen.de/2011/04/10/android-intent-sender-verification/
81 1 hans
* https://github.com/commonsguy/cw-omnibus/tree/master/MiscSecurity
82 1 hans
** The SigDump project lists all packages -- tapping on one decodes the "signature" and dumps the signature as a binary
83 1 hans
** The SigCheck project checks another app's "signature", comparing it to a known good value held as a raw resource (e.g., one dumped via SigDump).
84 1 hans
85 1 hans
h2. Use Cases
86 1 hans
87 1 hans
h3. Trusted Processing App
88 1 hans
89 1 hans
Martus needs to have strongly integrated, trusted camera app.  In this case, the Martus app will always initiate the camera @Activity@ by verifying the recipient before sending the explicit @Intent@.  The receiver is then expected to reply with the media directly to Martus.
90 1 hans
91 1 hans
An app wants to include a whitelist of trusted OpenPGP provider engires. Gnu Privacy Guard and OpenKeychain are both trusted, so the app includes pins for the signing certificates for both Gnu Privacy Guard and OpenKeychain.  This app will then only send data to be encrypted or decrypted to APKs that have been signed by those pinned signing certificates.
92 1 hans
93 1 hans
h3. Per-app permissions
94 1 hans
95 1 hans
InformaCam aims to be engine that provides verifiable media to any app.  It has app-specific media stores and keys.  When an app calls InformaCam the first time, InformaCam will register the sender, assign that sender a mediastore, and only send info from that mediastore to the app that is registered to it.  When sending media from a given mediastore, InformaCam will verify that it is sending to the trusted recipient for that mediastore.
96 1 hans
97 1 hans
h2. related idea for upgrading an APK's signing key
98 1 hans
99 1 hans
# create an APK with new package ID and signed by new key
100 1 hans
# both old and new APKs are installed at the same time
101 1 hans
# old one grants the new one perms to read all data based on hash pin