1# This Source Code Form is subject to the terms of the Mozilla Public 2# License, v. 2.0. If a copy of the MPL was not distributed with this 3# file, You can obtain one at http://mozilla.org/MPL/2.0/. 4 5scenario Bridge 6 7entity Army 8 type Root 9 10entity Navy 11 type Root 12 13entity Bridge 14 type Bridge 15 issuer Army 16 issuer Navy 17 18entity User 19 type EE 20 issuer Bridge 21 22db All 23 24import Army:: 25import Navy:: 26 27verify User:Bridge 28 cert Bridge:Navy 29 trust Navy 30 result pass 31 32verify User:Bridge 33 cert Bridge:Army 34 trust Army 35 result pass 36 37verify User:Bridge 38 cert Bridge:Navy 39 trust Army 40 result fail 41 42import Bridge:Army: 43import Bridge:Navy: 44 45verify User:Bridge 46 trust Army 47 result pass 48 49verify User:Bridge 50 trust Navy 51 result pass 52 53db ArmyOnly 54 55import Army::C,, 56 57verify User:Bridge 58 result fail 59 60verify User:Bridge 61 cert Bridge:Navy 62 result fail 63 64verify User:Bridge 65 cert Bridge:Navy 66 cert Navy: 67 result fail 68 69verify User:Bridge 70 cert Bridge:Navy 71 cert Navy: 72 trust Navy: 73 result pass 74 75verify User:Bridge 76 cert Bridge:Navy 77 trust Navy: 78 result pass 79 80db NavyOnly 81 82import Navy::C,, 83 84verify User:Bridge 85 result fail 86 87verify User:Bridge 88 cert Bridge:Army 89 result fail 90 91verify User:Bridge 92 cert Bridge:Army 93 cert Army: 94 result fail 95 96verify User:Bridge 97 cert Bridge:Army 98 cert Army: 99 trust Army: 100 result pass 101 102verify User:Bridge 103 cert Bridge:Army 104 trust Army: 105 result pass 106 107