blob: 1880623779ce95ba9a7c5cab52dd7a70ab6ac355 [file] [log] [blame]
Janis Danisevskis78bd48c2020-07-21 12:27:13 -07001// Copyright 2020, The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15//! This crate provides access control primitives for Keystore 2.0.
16//! It provides high level functions for checking permissions in the keystore2 and keystore2_key
17//! SELinux classes based on the keystore2_selinux backend.
18//! It also provides KeystorePerm and KeyPerm as convenience wrappers for the SELinux permission
19//! defined by keystore2 and keystore2_key respectively.
20
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070021use android_security_keystore2::aidl::android::security::keystore2::KeyPermission;
22
23use android_security_keystore2::aidl::android::security::keystore2::KeyDescriptor::KeyDescriptor;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070024
25use std::cmp::PartialEq;
26use std::convert::From;
Janis Danisevskis935e6c62020-08-18 12:52:27 -070027use std::ffi::CStr;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070028
29use crate::error::Error as KsError;
30use keystore2_selinux as selinux;
31
32use anyhow::Context as AnyhowContext;
33
34use selinux::Backend;
35
Janis Danisevskis4ad056f2020-08-05 19:46:46 +000036use lazy_static::lazy_static;
37
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070038// Replace getcon with a mock in the test situation
39#[cfg(not(test))]
40use selinux::getcon;
41#[cfg(test)]
42use tests::test_getcon as getcon;
43
Janis Danisevskis4ad056f2020-08-05 19:46:46 +000044lazy_static! {
45 // Panicking here is allowed because keystore cannot function without this backend
46 // and it would happen early and indicate a gross misconfiguration of the device.
47 static ref KEYSTORE2_KEY_LABEL_BACKEND: selinux::KeystoreKeyBackend =
48 selinux::KeystoreKeyBackend::new().unwrap();
49}
50
51fn lookup_keystore2_key_context(namespace: i64) -> anyhow::Result<selinux::Context> {
52 KEYSTORE2_KEY_LABEL_BACKEND.lookup(&namespace.to_string())
53}
54
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070055/// ## Background
56///
57/// AIDL enums are represented as constants of the form:
58/// ```
59/// mod EnumName {
60/// pub type EnumName = i32;
61/// pub const Variant1: EnumName = <value1>;
62/// pub const Variant2: EnumName = <value2>;
63/// ...
64/// }
65///```
66/// This macro wraps the enum in a new type, e.g., `MyPerm` and maps each variant to an SELinux
67/// permission while providing the following interface:
68/// * From<EnumName> and Into<EnumName> are implemented. Where the implementation of From maps
69/// any variant not specified to the default.
70/// * Every variant has a constructor with a name corresponding to its lower case SELinux string
71/// representation.
72/// * `MyPerm.to_selinux(&self)` returns the SELinux string representation of the
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070073/// represented permission.
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070074///
75/// ## Special behavior
76/// If the keyword `use` appears as an selinux name `use_` is used as identifier for the
77/// constructor function (e.g. `MePerm::use_()`) but the string returned by `to_selinux` will
78/// still be `"use"`.
79///
80/// ## Example
81/// ```
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070082///
83/// implement_permission!(
84/// /// MyPerm documentation.
85/// #[derive(Clone, Copy, Debug, PartialEq)]
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070086/// MyPerm from EnumName with default (None, none) {}
87/// Variant1, selinux name: variant1;
88/// Variant2, selinux name: variant1;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070089/// }
90/// );
91/// ```
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070092macro_rules! implement_permission_aidl {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070093 // This rule provides the public interface of the macro. And starts the preprocessing
94 // recursion (see below).
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070095 ($(#[$m:meta])* $name:ident from $aidl_name:ident with default ($($def:tt)*)
96 { $($element:tt)* })
Janis Danisevskis78bd48c2020-07-21 12:27:13 -070097 => {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -070098 implement_permission_aidl!(@replace_use $($m)*, $name, $aidl_name, ($($def)*), [],
99 $($element)*);
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700100 };
101
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700102 // The following three rules recurse through the elements of the form
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700103 // `<enum variant>, selinux name: <selinux_name>;`
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700104 // preprocessing the input.
105
106 // The first rule terminates the recursion and passes the processed arguments to the final
107 // rule that spills out the implementation.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700108 (@replace_use $($m:meta)*, $name:ident, $aidl_name:ident, ($($def:tt)*), [$($out:tt)*], ) => {
109 implement_permission_aidl!(@end $($m)*, $name, $aidl_name, ($($def)*) { $($out)* } );
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700110 };
111
112 // The second rule is triggered if the selinux name of an element is literally `use`.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700113 // It produces the tuple `<enum variant>, use_, use;`
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700114 // and appends it to the out list.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700115 (@replace_use $($m:meta)*, $name:ident, $aidl_name:ident, ($($def:tt)*), [$($out:tt)*],
116 $e_name:ident, selinux name: use; $($element:tt)*)
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700117 => {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700118 implement_permission_aidl!(@replace_use $($m)*, $name, $aidl_name, ($($def)*),
119 [$($out)* $e_name, use_, use;], $($element)*);
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700120 };
121
122 // The third rule is the default rule which replaces every input tuple with
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700123 // `<enum variant>, <selinux_name>, <selinux_name>;`
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700124 // and appends the result to the out list.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700125 (@replace_use $($m:meta)*, $name:ident, $aidl_name:ident, ($($def:tt)*), [$($out:tt)*],
126 $e_name:ident, selinux name: $e_str:ident; $($element:tt)*)
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700127 => {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700128 implement_permission_aidl!(@replace_use $($m)*, $name, $aidl_name, ($($def)*),
129 [$($out)* $e_name, $e_str, $e_str;], $($element)*);
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700130 };
131
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700132 (@end $($m:meta)*, $name:ident, $aidl_name:ident,
133 ($def_name:ident, $def_selinux_name:ident) {
134 $($element_name:ident, $element_identifier:ident,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700135 $selinux_name:ident;)*
136 })
137 =>
138 {
139 $(#[$m])*
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700140 pub struct $name(pub $aidl_name::$aidl_name);
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700141
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700142 impl From<$aidl_name::$aidl_name> for $name {
143 fn from (p: $aidl_name::$aidl_name) -> Self {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700144 match p {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700145 $aidl_name::$def_name => Self($aidl_name::$def_name),
146 $($aidl_name::$element_name => Self($aidl_name::$element_name),)*
147 _ => Self($aidl_name::$def_name),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700148 }
149 }
150 }
151
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700152 impl Into<$aidl_name::$aidl_name> for $name {
153 fn into(self) -> $aidl_name::$aidl_name {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700154 self.0
155 }
156 }
157
158 impl $name {
159 /// Returns a string representation of the permission as required by
160 /// `selinux::check_access`.
161 pub fn to_selinux(&self) -> &'static str {
162 match self {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700163 Self($aidl_name::$def_name) => stringify!($def_selinux_name),
164 $(Self($aidl_name::$element_name) => stringify!($selinux_name),)*
165 _ => stringify!($def_selinux_name),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700166 }
167 }
168
169 /// Creates an instance representing a permission with the same name.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700170 pub const fn $def_selinux_name() -> Self { Self($aidl_name::$def_name) }
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700171 $(
172 /// Creates an instance representing a permission with the same name.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700173 pub const fn $element_identifier() -> Self { Self($aidl_name::$element_name) }
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700174 )*
175 }
176 };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700177}
178
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700179implement_permission_aidl!(
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700180 /// KeyPerm provides a convenient abstraction from the SELinux class `keystore2_key`.
181 /// At the same time it maps `KeyPermissions` from the Keystore 2.0 AIDL Grant interface to
182 /// the SELinux permissions. With the implement_permission macro, we conveniently
183 /// provide mappings between the wire type bit field values, the rust enum and the SELinux
184 /// string representation.
185 ///
186 /// ## Example
187 ///
188 /// In this access check `KeyPerm::get_info().to_selinux()` would return the SELinux representation
189 /// "info".
190 /// ```
191 /// selinux::check_access(source_context, target_context, "keystore2_key",
192 /// KeyPerm::get_info().to_selinux());
193 /// ```
194 #[derive(Clone, Copy, Debug, Eq, PartialEq)]
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700195 KeyPerm from KeyPermission with default (None, none) {
196 Delete, selinux name: delete;
197 GenUniqueId, selinux name: gen_unique_id;
198 GetInfo, selinux name: get_info;
199 Grant, selinux name: grant;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700200 ManageBlob, selinux name: manage_blob;
201 Rebind, selinux name: rebind;
202 ReqForcedOp, selinux name: req_forced_op;
203 Update, selinux name: update;
204 Use, selinux name: use;
205 UseDevId, selinux name: use_dev_id;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700206 }
207);
208
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700209/// This macro implements an enum with values mapped to SELinux permission names.
210/// The below example wraps the enum MyPermission in the tuple struct `MyPerm` and implements
211/// * From<i32> and Into<i32> are implemented. Where the implementation of From maps
212/// any variant not specified to the default.
213/// * Every variant has a constructor with a name corresponding to its lower case SELinux string
214/// representation.
215/// * `MyPerm.to_selinux(&self)` returns the SELinux string representation of the
216/// represented permission.
217///
218/// ## Example
219/// ```
220/// implement_permission!(
221/// /// MyPerm documentation.
222/// #[derive(Clone, Copy, Debug, Eq, PartialEq)]
223/// MyPerm with default (None = 0, none) {
224/// Foo = 1, selinux name: foo;
225/// Bar = 2, selinux name: bar;
226/// }
227/// );
228/// ```
229macro_rules! implement_permission {
230 // This rule provides the public interface of the macro. And starts the preprocessing
231 // recursion (see below).
232 ($(#[$m:meta])* $name:ident with default
233 ($def_name:ident = $def_val:expr, $def_selinux_name:ident)
234 {
235 $($(#[$element_meta:meta])*
236 $element_name:ident = $element_val:expr, selinux name: $selinux_name:ident;)*
237 })
238 => {
239 $(#[$m])*
240 pub enum $name {
241 /// The default variant of an enum.
242 $def_name = $def_val,
243 $(
244 $(#[$element_meta])*
245 $element_name = $element_val,
246 )*
247 }
248
249 impl From<i32> for $name {
250 fn from (p: i32) -> Self {
251 match p {
252 $def_val => Self::$def_name,
253 $($element_val => Self::$element_name,)*
254 _ => Self::$def_name,
255 }
256 }
257 }
258
259 impl Into<i32> for $name {
260 fn into(self) -> i32 {
261 self as i32
262 }
263 }
264
265 impl $name {
266 /// Returns a string representation of the permission as required by
267 /// `selinux::check_access`.
268 pub fn to_selinux(&self) -> &'static str {
269 match self {
270 Self::$def_name => stringify!($def_selinux_name),
271 $(Self::$element_name => stringify!($selinux_name),)*
272 }
273 }
274
275 /// Creates an instance representing a permission with the same name.
276 pub const fn $def_selinux_name() -> Self { Self::$def_name }
277 $(
278 /// Creates an instance representing a permission with the same name.
279 pub const fn $selinux_name() -> Self { Self::$element_name }
280 )*
281 }
282 };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700283}
284
285implement_permission!(
286 /// KeystorePerm provides a convenient abstraction from the SELinux class `keystore2`.
287 /// Using the implement_permission macro we get the same features as `KeyPerm`.
288 #[derive(Clone, Copy, Debug, PartialEq)]
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700289 KeystorePerm with default (None = 0, none) {
290 /// Checked when a new auth token is installed.
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700291 AddAuth = 1, selinux name: add_auth;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700292 /// Checked when an app is uninstalled or wiped.
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700293 ClearNs = 2, selinux name: clear_ns;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700294 /// Checked when Keystore 2.0 gets locked.
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700295 GetState = 4, selinux name: get_state;
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700296 /// Checked when Keystore 2.0 is asked to list a namespace that the caller
297 /// does not have the get_info permission for.
298 List = 8, selinux name: list;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700299 /// Checked when Keystore 2.0 gets locked.
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700300 Lock = 0x10, selinux name: lock;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700301 /// Checked when Keystore 2.0 shall be reset.
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700302 Reset = 0x20, selinux name: reset;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700303 /// Checked when Keystore 2.0 shall be unlocked.
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700304 Unlock = 0x40, selinux name: unlock;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700305 }
306);
307
308/// Represents a set of `KeyPerm` permissions.
309/// `IntoIterator` is implemented for this struct allowing the iteration through all the
310/// permissions in the set.
311/// It also implements a function `includes(self, other)` that checks if the permissions
312/// in `other` are included in `self`.
313///
314/// KeyPermSet can be created with the macro `key_perm_set![]`.
315///
316/// ## Example
317/// ```
318/// let perms1 = key_perm_set![KeyPerm::use_(), KeyPerm::manage_blob(), KeyPerm::grant()];
319/// let perms2 = key_perm_set![KeyPerm::use_(), KeyPerm::manage_blob()];
320///
321/// assert!(perms1.includes(perms2))
322/// assert!(!perms2.includes(perms1))
323///
324/// let i = perms1.into_iter();
325/// // iteration in ascending order of the permission's numeric representation.
326/// assert_eq(Some(KeyPerm::manage_blob()), i.next());
327/// assert_eq(Some(KeyPerm::grant()), i.next());
328/// assert_eq(Some(KeyPerm::use_()), i.next());
329/// assert_eq(None, i.next());
330/// ```
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700331#[derive(Copy, Clone, Debug, Eq, PartialEq, Ord, PartialOrd)]
332pub struct KeyPermSet(pub i32);
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700333
334mod perm {
335 use super::*;
336
337 pub struct IntoIter {
338 vec: KeyPermSet,
339 pos: u8,
340 }
341
342 impl IntoIter {
343 pub fn new(v: KeyPermSet) -> Self {
344 Self { vec: v, pos: 0 }
345 }
346 }
347
348 impl std::iter::Iterator for IntoIter {
349 type Item = KeyPerm;
350
351 fn next(&mut self) -> Option<Self::Item> {
352 loop {
353 if self.pos == 32 {
354 return None;
355 }
356 let p = self.vec.0 & (1 << self.pos);
357 self.pos += 1;
358 if p != 0 {
359 return Some(KeyPerm::from(p));
360 }
361 }
362 }
363 }
364}
365
366impl From<KeyPerm> for KeyPermSet {
367 fn from(p: KeyPerm) -> Self {
368 Self(p.0 as i32)
369 }
370}
371
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700372/// allow conversion from the AIDL wire type i32 to a permission set.
373impl From<i32> for KeyPermSet {
374 fn from(p: i32) -> Self {
375 Self(p)
376 }
377}
378
379impl From<KeyPermSet> for i32 {
380 fn from(p: KeyPermSet) -> i32 {
381 p.0
382 }
383}
384
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700385impl KeyPermSet {
386 /// Returns true iff this permission set has all of the permissions that are in `other`.
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700387 pub fn includes<T: Into<KeyPermSet>>(&self, other: T) -> bool {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700388 let o: KeyPermSet = other.into();
389 (self.0 & o.0) == o.0
390 }
391}
392
393/// This macro can be used to create a `KeyPermSet` from a list of `KeyPerm` values.
394///
395/// ## Example
396/// ```
397/// let v = key_perm_set![Perm::delete(), Perm::manage_blob()];
398/// ```
399#[macro_export]
400macro_rules! key_perm_set {
401 () => { KeyPermSet(0) };
402 ($head:expr $(, $tail:expr)* $(,)?) => {
403 KeyPermSet($head.0 as i32 $(| $tail.0 as i32)*)
404 };
405}
406
407impl IntoIterator for KeyPermSet {
408 type Item = KeyPerm;
409 type IntoIter = perm::IntoIter;
410
411 fn into_iter(self) -> Self::IntoIter {
412 Self::IntoIter::new(self)
413 }
414}
415
416/// Uses `selinux::check_access` to check if the given caller context `caller_cxt` may access
417/// the given permision `perm` of the `keystore2` security class.
Janis Danisevskis935e6c62020-08-18 12:52:27 -0700418pub fn check_keystore_permission(caller_ctx: &CStr, perm: KeystorePerm) -> anyhow::Result<()> {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700419 let target_context = getcon().context("check_keystore_permission: getcon failed.")?;
420 selinux::check_access(caller_ctx, &target_context, "keystore2", perm.to_selinux())
421}
422
423/// Uses `selinux::check_access` to check if the given caller context `caller_cxt` has
424/// all the permissions indicated in `access_vec` for the target domain indicated by the key
425/// descriptor `key` in the security class `keystore2_key`.
426///
427/// Also checks if the caller has the grant permission for the given target domain.
428///
429/// Attempts to grant the grant permission are always denied.
430///
431/// The only viable target domains are
432/// * `Domain::App` in which case u:r:keystore:s0 is used as target context and
433/// * `Domain::SELinux` in which case the `key.namespace_` parameter is looked up in
434/// SELinux keystore key backend, and the result is used
435/// as target context.
436pub fn check_grant_permission(
Janis Danisevskis935e6c62020-08-18 12:52:27 -0700437 caller_ctx: &CStr,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700438 access_vec: KeyPermSet,
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700439 key: &KeyDescriptor,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700440) -> anyhow::Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700441 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700442
443 let target_context = match key.domain {
444 Domain::App => getcon().context("check_grant_permission: getcon failed.")?,
Janis Danisevskis4ad056f2020-08-05 19:46:46 +0000445 Domain::SELinux => lookup_keystore2_key_context(key.namespace_)
446 .context("check_grant_permission: Domain::SELinux: Failed to lookup namespace.")?,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700447 _ => return Err(KsError::sys()).context(format!("Cannot grant {:?}.", key.domain)),
448 };
449
450 selinux::check_access(caller_ctx, &target_context, "keystore2_key", "grant")
451 .context("Grant permission is required when granting.")?;
452
453 if access_vec.includes(KeyPerm::grant()) {
454 return Err(selinux::Error::perm()).context("Grant permission cannot be granted.");
455 }
456
457 for p in access_vec.into_iter() {
458 selinux::check_access(caller_ctx, &target_context, "keystore2_key", p.to_selinux())
459 .context(concat!(
460 "check_grant_permission: check_access failed. ",
461 "The caller may have tried to grant a permission that they don't possess."
462 ))?
463 }
464 Ok(())
465}
466
467/// Uses `selinux::check_access` to check if the given caller context `caller_cxt`
468/// has the permissions indicated by `perm` for the target domain indicated by the key
469/// descriptor `key` in the security class `keystore2_key`.
470///
471/// The behavior differs slightly depending on the selected target domain:
472/// * `Domain::App` u:r:keystore:s0 is used as target context.
473/// * `Domain::SELinux` `key.namespace_` parameter is looked up in the SELinux keystore key
474/// backend, and the result is used as target context.
475/// * `Domain::Blob` Same as SELinux but the "manage_blob" permission is always checked additionally
476/// to the one supplied in `perm`.
477/// * `Domain::Grant` Does not use selinux::check_access. Instead the `access_vector`
478/// parameter is queried for permission, which must be supplied in this case.
479///
480/// ## Return values.
481/// * Ok(()) If the requested permissions were granted.
482/// * Err(selinux::Error::perm()) If the requested permissions were denied.
483/// * Err(KsError::sys()) This error is produced if `Domain::Grant` is selected but no `access_vec`
484/// was supplied. It is also produced if `Domain::KeyId` was selected, and
485/// on various unexpected backend failures.
486pub fn check_key_permission(
Janis Danisevskis935e6c62020-08-18 12:52:27 -0700487 caller_ctx: &CStr,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700488 perm: KeyPerm,
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700489 key: &KeyDescriptor,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700490 access_vector: &Option<KeyPermSet>,
491) -> anyhow::Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700492 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700493
494 let target_context = match key.domain {
495 // apps get the default keystore context
496 Domain::App => getcon().context("check_key_permission: getcon failed.")?,
Janis Danisevskis4ad056f2020-08-05 19:46:46 +0000497 Domain::SELinux => lookup_keystore2_key_context(key.namespace_)
498 .context("check_key_permission: Domain::SELinux: Failed to lookup namespace.")?,
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700499 Domain::Grant => {
500 match access_vector {
501 Some(pv) => {
502 if pv.includes(perm) {
503 return Ok(());
504 } else {
505 return Err(selinux::Error::perm())
506 .context(format!("\"{}\" not granted", perm.to_selinux()));
507 }
508 }
509 None => {
510 // If DOMAIN_GRANT was selected an access vector must be supplied.
511 return Err(KsError::sys()).context(
512 "Cannot check permission for Domain::Grant without access vector.",
513 );
514 }
515 }
516 }
517 Domain::KeyId => {
518 // We should never be called with `Domain::KeyId. The database
519 // lookup should have converted this into one of `Domain::App`
520 // or `Domain::SELinux`.
521 return Err(KsError::sys()).context("Cannot check permission for Domain::KeyId.");
522 }
523 Domain::Blob => {
Janis Danisevskis4ad056f2020-08-05 19:46:46 +0000524 let tctx = lookup_keystore2_key_context(key.namespace_)
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700525 .context("Domain::Blob: Failed to lookup namespace.")?;
526 // If DOMAIN_KEY_BLOB was specified, we check for the "manage_blob"
527 // permission in addition to the requested permission.
528 selinux::check_access(
529 caller_ctx,
530 &tctx,
531 "keystore2_key",
532 KeyPerm::manage_blob().to_selinux(),
533 )?;
534
535 tctx
536 }
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700537 _ => {
538 return Err(KsError::sys())
539 .context(format!("Unknown domain value: \"{}\".", key.domain))
540 }
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700541 };
542
543 selinux::check_access(caller_ctx, &target_context, "keystore2_key", perm.to_selinux())
544}
545
546#[cfg(test)]
547mod tests {
548 use super::*;
549 use anyhow::anyhow;
550 use anyhow::Result;
551 use keystore2_selinux::*;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700552
553 const ALL_PERMS: KeyPermSet = key_perm_set![
554 KeyPerm::manage_blob(),
555 KeyPerm::delete(),
556 KeyPerm::use_dev_id(),
557 KeyPerm::req_forced_op(),
558 KeyPerm::gen_unique_id(),
559 KeyPerm::grant(),
560 KeyPerm::get_info(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700561 KeyPerm::rebind(),
562 KeyPerm::update(),
563 KeyPerm::use_(),
564 ];
565
566 const NOT_GRANT_PERMS: KeyPermSet = key_perm_set![
567 KeyPerm::manage_blob(),
568 KeyPerm::delete(),
569 KeyPerm::use_dev_id(),
570 KeyPerm::req_forced_op(),
571 KeyPerm::gen_unique_id(),
572 // No KeyPerm::grant()
573 KeyPerm::get_info(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700574 KeyPerm::rebind(),
575 KeyPerm::update(),
576 KeyPerm::use_(),
577 ];
578
579 const UNPRIV_PERMS: KeyPermSet = key_perm_set![
580 KeyPerm::delete(),
581 KeyPerm::get_info(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700582 KeyPerm::rebind(),
583 KeyPerm::update(),
584 KeyPerm::use_(),
585 ];
586
587 /// The su_key namespace as defined in su.te and keystore_key_contexts of the
588 /// SePolicy (system/sepolicy).
589 const SU_KEY_NAMESPACE: i32 = 0;
590 /// The shell_key namespace as defined in shell.te and keystore_key_contexts of the
591 /// SePolicy (system/sepolicy).
592 const SHELL_KEY_NAMESPACE: i32 = 1;
593
594 pub fn test_getcon() -> Result<Context> {
595 Context::new("u:object_r:keystore:s0")
596 }
597
598 // This macro evaluates the given expression and checks that
599 // a) evaluated to Result::Err() and that
600 // b) the wrapped error is selinux::Error::perm() (permission denied).
601 // We use a macro here because a function would mask which invocation caused the failure.
602 //
603 // TODO b/164121720 Replace this macro with a function when `track_caller` is available.
604 macro_rules! assert_perm_failed {
605 ($test_function:expr) => {
606 let result = $test_function;
607 assert!(result.is_err(), "Permission check should have failed.");
608 assert_eq!(
609 Some(&selinux::Error::perm()),
610 result.err().unwrap().root_cause().downcast_ref::<selinux::Error>()
611 );
612 };
613 }
614
615 fn check_context() -> Result<(selinux::Context, i32, bool)> {
616 // Calling the non mocked selinux::getcon here intended.
617 let context = selinux::getcon()?;
618 match context.to_str().unwrap() {
619 "u:r:su:s0" => Ok((context, SU_KEY_NAMESPACE, true)),
620 "u:r:shell:s0" => Ok((context, SHELL_KEY_NAMESPACE, false)),
621 c => Err(anyhow!(format!(
622 "This test must be run as \"su\" or \"shell\". Current context: \"{}\"",
623 c
624 ))),
625 }
626 }
627
628 #[test]
629 fn check_keystore_permission_test() -> Result<()> {
630 let system_server_ctx = Context::new("u:r:system_server:s0")?;
631 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::add_auth()).is_ok());
632 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::clear_ns()).is_ok());
633 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::get_state()).is_ok());
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700634 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::list()).is_ok());
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700635 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::lock()).is_ok());
636 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::reset()).is_ok());
637 assert!(check_keystore_permission(&system_server_ctx, KeystorePerm::unlock()).is_ok());
638 let shell_ctx = Context::new("u:r:shell:s0")?;
639 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::add_auth()));
640 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::clear_ns()));
641 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::get_state()));
Janis Danisevskisee10b5f2020-09-22 16:42:35 -0700642 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::list()));
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700643 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::lock()));
644 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::reset()));
645 assert_perm_failed!(check_keystore_permission(&shell_ctx, KeystorePerm::unlock()));
646 Ok(())
647 }
648
649 #[test]
650 fn check_grant_permission_app() -> Result<()> {
651 let system_server_ctx = Context::new("u:r:system_server:s0")?;
652 let shell_ctx = Context::new("u:r:shell:s0")?;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700653 use android_security_keystore2::aidl::android::security::keystore2::Domain;
654 let key = KeyDescriptor { domain: Domain::App, namespace_: 0, alias: None, blob: None };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700655 assert!(check_grant_permission(&system_server_ctx, NOT_GRANT_PERMS, &key).is_ok());
656 // attempts to grant the grant permission must always fail even when privileged.
657
658 assert_perm_failed!(check_grant_permission(
659 &system_server_ctx,
660 KeyPerm::grant().into(),
661 &key
662 ));
663 // unprivileged grant attempts always fail. shell does not have the grant permission.
664 assert_perm_failed!(check_grant_permission(&shell_ctx, UNPRIV_PERMS, &key));
665 Ok(())
666 }
667
668 #[test]
669 fn check_grant_permission_selinux() -> Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700670 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700671 let (sctx, namespace, is_su) = check_context()?;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700672 let key = KeyDescriptor {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700673 domain: Domain::SELinux,
674 namespace_: namespace as i64,
675 alias: None,
676 blob: None,
677 };
678 if is_su {
679 assert!(check_grant_permission(&sctx, NOT_GRANT_PERMS, &key).is_ok());
680 // attempts to grant the grant permission must always fail even when privileged.
681 assert_perm_failed!(check_grant_permission(&sctx, KeyPerm::grant().into(), &key));
682 } else {
683 // unprivileged grant attempts always fail. shell does not have the grant permission.
684 assert_perm_failed!(check_grant_permission(&sctx, UNPRIV_PERMS, &key));
685 }
686 Ok(())
687 }
688
689 #[test]
690 fn check_key_permission_domain_grant() -> Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700691 use android_security_keystore2::aidl::android::security::keystore2::Domain;
692 let key = KeyDescriptor { domain: Domain::Grant, namespace_: 0, alias: None, blob: None };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700693
694 assert_perm_failed!(check_key_permission(
695 &selinux::Context::new("ignored").unwrap(),
696 KeyPerm::grant(),
697 &key,
698 &Some(UNPRIV_PERMS)
699 ));
700
701 check_key_permission(
702 &selinux::Context::new("ignored").unwrap(),
703 KeyPerm::use_(),
704 &key,
705 &Some(ALL_PERMS),
706 )
707 }
708
709 #[test]
710 fn check_key_permission_domain_app() -> Result<()> {
711 let system_server_ctx = Context::new("u:r:system_server:s0")?;
712 let shell_ctx = Context::new("u:r:shell:s0")?;
713 let gmscore_app = Context::new("u:r:gmscore_app:s0")?;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700714 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700715
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700716 let key = KeyDescriptor { domain: Domain::App, namespace_: 0, alias: None, blob: None };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700717
718 assert!(check_key_permission(&system_server_ctx, KeyPerm::use_(), &key, &None).is_ok());
719 assert!(check_key_permission(&system_server_ctx, KeyPerm::delete(), &key, &None).is_ok());
720 assert!(check_key_permission(&system_server_ctx, KeyPerm::get_info(), &key, &None).is_ok());
721 assert!(check_key_permission(&system_server_ctx, KeyPerm::rebind(), &key, &None).is_ok());
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700722 assert!(check_key_permission(&system_server_ctx, KeyPerm::update(), &key, &None).is_ok());
723 assert!(check_key_permission(&system_server_ctx, KeyPerm::grant(), &key, &None).is_ok());
724 assert!(
725 check_key_permission(&system_server_ctx, KeyPerm::use_dev_id(), &key, &None).is_ok()
726 );
727 assert!(check_key_permission(&gmscore_app, KeyPerm::gen_unique_id(), &key, &None).is_ok());
728
729 assert!(check_key_permission(&shell_ctx, KeyPerm::use_(), &key, &None).is_ok());
730 assert!(check_key_permission(&shell_ctx, KeyPerm::delete(), &key, &None).is_ok());
731 assert!(check_key_permission(&shell_ctx, KeyPerm::get_info(), &key, &None).is_ok());
732 assert!(check_key_permission(&shell_ctx, KeyPerm::rebind(), &key, &None).is_ok());
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700733 assert!(check_key_permission(&shell_ctx, KeyPerm::update(), &key, &None).is_ok());
734 assert_perm_failed!(check_key_permission(&shell_ctx, KeyPerm::grant(), &key, &None));
735 assert_perm_failed!(check_key_permission(
736 &shell_ctx,
737 KeyPerm::req_forced_op(),
738 &key,
739 &None
740 ));
741 assert_perm_failed!(check_key_permission(&shell_ctx, KeyPerm::manage_blob(), &key, &None));
742 assert_perm_failed!(check_key_permission(&shell_ctx, KeyPerm::use_dev_id(), &key, &None));
743 assert_perm_failed!(check_key_permission(
744 &shell_ctx,
745 KeyPerm::gen_unique_id(),
746 &key,
747 &None
748 ));
749
750 Ok(())
751 }
752
753 #[test]
754 fn check_key_permission_domain_selinux() -> Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700755 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700756 let (sctx, namespace, is_su) = check_context()?;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700757 let key = KeyDescriptor {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700758 domain: Domain::SELinux,
759 namespace_: namespace as i64,
760 alias: None,
761 blob: None,
762 };
763
764 if is_su {
765 assert!(check_key_permission(&sctx, KeyPerm::use_(), &key, &None).is_ok());
766 assert!(check_key_permission(&sctx, KeyPerm::delete(), &key, &None).is_ok());
767 assert!(check_key_permission(&sctx, KeyPerm::get_info(), &key, &None).is_ok());
768 assert!(check_key_permission(&sctx, KeyPerm::rebind(), &key, &None).is_ok());
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700769 assert!(check_key_permission(&sctx, KeyPerm::update(), &key, &None).is_ok());
770 assert!(check_key_permission(&sctx, KeyPerm::grant(), &key, &None).is_ok());
771 assert!(check_key_permission(&sctx, KeyPerm::manage_blob(), &key, &None).is_ok());
772 assert!(check_key_permission(&sctx, KeyPerm::use_dev_id(), &key, &None).is_ok());
773 assert!(check_key_permission(&sctx, KeyPerm::gen_unique_id(), &key, &None).is_ok());
774 assert!(check_key_permission(&sctx, KeyPerm::req_forced_op(), &key, &None).is_ok());
775 } else {
776 assert!(check_key_permission(&sctx, KeyPerm::use_(), &key, &None).is_ok());
777 assert!(check_key_permission(&sctx, KeyPerm::delete(), &key, &None).is_ok());
778 assert!(check_key_permission(&sctx, KeyPerm::get_info(), &key, &None).is_ok());
779 assert!(check_key_permission(&sctx, KeyPerm::rebind(), &key, &None).is_ok());
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700780 assert!(check_key_permission(&sctx, KeyPerm::update(), &key, &None).is_ok());
781 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::grant(), &key, &None));
782 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::req_forced_op(), &key, &None));
783 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::manage_blob(), &key, &None));
784 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::use_dev_id(), &key, &None));
785 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::gen_unique_id(), &key, &None));
786 }
787 Ok(())
788 }
789
790 #[test]
791 fn check_key_permission_domain_blob() -> Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700792 use android_security_keystore2::aidl::android::security::keystore2::Domain;
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700793 let (sctx, namespace, is_su) = check_context()?;
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700794 let key = KeyDescriptor {
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700795 domain: Domain::Blob,
796 namespace_: namespace as i64,
797 alias: None,
798 blob: None,
799 };
800
801 if is_su {
802 check_key_permission(&sctx, KeyPerm::use_(), &key, &None)
803 } else {
804 assert_perm_failed!(check_key_permission(&sctx, KeyPerm::use_(), &key, &None));
805 Ok(())
806 }
807 }
808
809 #[test]
810 fn check_key_permission_domain_key_id() -> Result<()> {
Janis Danisevskis1b3a6e22020-08-07 12:39:56 -0700811 use android_security_keystore2::aidl::android::security::keystore2::Domain;
812 let key = KeyDescriptor { domain: Domain::KeyId, namespace_: 0, alias: None, blob: None };
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700813
814 assert_eq!(
815 Some(&KsError::sys()),
816 check_key_permission(
817 &selinux::Context::new("ignored").unwrap(),
818 KeyPerm::use_(),
819 &key,
820 &None
821 )
822 .err()
823 .unwrap()
824 .root_cause()
825 .downcast_ref::<KsError>()
826 );
827 Ok(())
828 }
829
830 #[test]
831 fn key_perm_set_all_test() {
832 let v = key_perm_set![
833 KeyPerm::manage_blob(),
834 KeyPerm::delete(),
835 KeyPerm::use_dev_id(),
836 KeyPerm::req_forced_op(),
837 KeyPerm::gen_unique_id(),
838 KeyPerm::grant(),
839 KeyPerm::get_info(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700840 KeyPerm::rebind(),
841 KeyPerm::update(),
842 KeyPerm::use_() // Test if the macro accepts missing comma at the end of the list.
843 ];
844 let mut i = v.into_iter();
845 assert_eq!(i.next().unwrap().to_selinux(), "delete");
846 assert_eq!(i.next().unwrap().to_selinux(), "gen_unique_id");
847 assert_eq!(i.next().unwrap().to_selinux(), "get_info");
848 assert_eq!(i.next().unwrap().to_selinux(), "grant");
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700849 assert_eq!(i.next().unwrap().to_selinux(), "manage_blob");
850 assert_eq!(i.next().unwrap().to_selinux(), "rebind");
851 assert_eq!(i.next().unwrap().to_selinux(), "req_forced_op");
852 assert_eq!(i.next().unwrap().to_selinux(), "update");
853 assert_eq!(i.next().unwrap().to_selinux(), "use");
854 assert_eq!(i.next().unwrap().to_selinux(), "use_dev_id");
855 assert_eq!(None, i.next());
856 }
857 #[test]
858 fn key_perm_set_sparse_test() {
859 let v = key_perm_set![
860 KeyPerm::manage_blob(),
861 KeyPerm::req_forced_op(),
862 KeyPerm::gen_unique_id(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700863 KeyPerm::update(),
864 KeyPerm::use_(), // Test if macro accepts the comma at the end of the list.
865 ];
866 let mut i = v.into_iter();
867 assert_eq!(i.next().unwrap().to_selinux(), "gen_unique_id");
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700868 assert_eq!(i.next().unwrap().to_selinux(), "manage_blob");
869 assert_eq!(i.next().unwrap().to_selinux(), "req_forced_op");
870 assert_eq!(i.next().unwrap().to_selinux(), "update");
871 assert_eq!(i.next().unwrap().to_selinux(), "use");
872 assert_eq!(None, i.next());
873 }
874 #[test]
875 fn key_perm_set_empty_test() {
876 let v = key_perm_set![];
877 let mut i = v.into_iter();
878 assert_eq!(None, i.next());
879 }
880 #[test]
881 fn key_perm_set_include_subset_test() {
882 let v1 = key_perm_set![
883 KeyPerm::manage_blob(),
884 KeyPerm::delete(),
885 KeyPerm::use_dev_id(),
886 KeyPerm::req_forced_op(),
887 KeyPerm::gen_unique_id(),
888 KeyPerm::grant(),
889 KeyPerm::get_info(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700890 KeyPerm::rebind(),
891 KeyPerm::update(),
892 KeyPerm::use_(),
893 ];
894 let v2 = key_perm_set![
895 KeyPerm::manage_blob(),
896 KeyPerm::delete(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700897 KeyPerm::rebind(),
898 KeyPerm::update(),
899 KeyPerm::use_(),
900 ];
901 assert!(v1.includes(v2));
902 assert!(!v2.includes(v1));
903 }
904 #[test]
905 fn key_perm_set_include_equal_test() {
906 let v1 = key_perm_set![
907 KeyPerm::manage_blob(),
908 KeyPerm::delete(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700909 KeyPerm::rebind(),
910 KeyPerm::update(),
911 KeyPerm::use_(),
912 ];
913 let v2 = key_perm_set![
914 KeyPerm::manage_blob(),
915 KeyPerm::delete(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700916 KeyPerm::rebind(),
917 KeyPerm::update(),
918 KeyPerm::use_(),
919 ];
920 assert!(v1.includes(v2));
921 assert!(v2.includes(v1));
922 }
923 #[test]
924 fn key_perm_set_include_overlap_test() {
925 let v1 = key_perm_set![
926 KeyPerm::manage_blob(),
927 KeyPerm::delete(),
928 KeyPerm::grant(), // only in v1
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700929 KeyPerm::rebind(),
930 KeyPerm::update(),
931 KeyPerm::use_(),
932 ];
933 let v2 = key_perm_set![
934 KeyPerm::manage_blob(),
935 KeyPerm::delete(),
936 KeyPerm::req_forced_op(), // only in v2
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700937 KeyPerm::rebind(),
938 KeyPerm::update(),
939 KeyPerm::use_(),
940 ];
941 assert!(!v1.includes(v2));
942 assert!(!v2.includes(v1));
943 }
944 #[test]
945 fn key_perm_set_include_no_overlap_test() {
946 let v1 = key_perm_set![KeyPerm::manage_blob(), KeyPerm::delete(), KeyPerm::grant(),];
947 let v2 = key_perm_set![
948 KeyPerm::req_forced_op(),
Janis Danisevskis78bd48c2020-07-21 12:27:13 -0700949 KeyPerm::rebind(),
950 KeyPerm::update(),
951 KeyPerm::use_(),
952 ];
953 assert!(!v1.includes(v2));
954 assert!(!v2.includes(v1));
955 }
956}