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