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