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
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/.
5 scenario Bridge
7 entity Army
8 type Root
10 entity Navy
11 type Root
13 entity Bridge
14 type Bridge
15 issuer Army
16 issuer Navy
18 entity User
19 type EE
20 issuer Bridge
22 db All
24 import Army::
25 import Navy::
27 verify User:Bridge
28 cert Bridge:Navy
29 trust Navy
30 result pass
32 verify User:Bridge
33 cert Bridge:Army
34 trust Army
35 result pass
37 verify User:Bridge
38 cert Bridge:Navy
39 trust Army
40 result fail
42 import Bridge:Army:
43 import Bridge:Navy:
45 verify User:Bridge
46 trust Army
47 result pass
49 verify User:Bridge
50 trust Navy
51 result pass
53 db ArmyOnly
55 import Army::C,,
57 verify User:Bridge
58 result fail
60 verify User:Bridge
61 cert Bridge:Navy
62 result fail
64 verify User:Bridge
65 cert Bridge:Navy
66 cert Navy:
67 result fail
69 verify User:Bridge
70 cert Bridge:Navy
71 cert Navy:
72 trust Navy:
73 result pass
75 verify User:Bridge
76 cert Bridge:Navy
77 trust Navy:
78 result pass
80 db NavyOnly
82 import Navy::C,,
84 verify User:Bridge
85 result fail
87 verify User:Bridge
88 cert Bridge:Army
89 result fail
91 verify User:Bridge
92 cert Bridge:Army
93 cert Army:
94 result fail
96 verify User:Bridge
97 cert Bridge:Army
98 cert Army:
99 trust Army:
100 result pass
102 verify User:Bridge
103 cert Bridge:Army
104 trust Army:
105 result pass