2018-05-04 16:08:28 +02:00
|
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
|
2015-10-21 05:03:22 +02:00
|
|
|
scenario Bridge
|
|
|
|
|
|
|
|
|
|
entity Army
|
|
|
|
|
type Root
|
|
|
|
|
|
|
|
|
|
entity Navy
|
|
|
|
|
type Root
|
|
|
|
|
|
|
|
|
|
entity Bridge
|
|
|
|
|
type Bridge
|
|
|
|
|
issuer Army
|
|
|
|
|
issuer Navy
|
|
|
|
|
|
|
|
|
|
entity User
|
|
|
|
|
type EE
|
|
|
|
|
issuer Bridge
|
|
|
|
|
|
|
|
|
|
db All
|
|
|
|
|
|
|
|
|
|
import Army::
|
|
|
|
|
import Navy::
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
trust Navy
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Army
|
|
|
|
|
trust Army
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
trust Army
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
import Bridge:Army:
|
|
|
|
|
import Bridge:Navy:
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
trust Army
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
trust Navy
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
db ArmyOnly
|
|
|
|
|
|
|
|
|
|
import Army::C,,
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
cert Navy:
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
cert Navy:
|
|
|
|
|
trust Navy:
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Navy
|
|
|
|
|
trust Navy:
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
db NavyOnly
|
|
|
|
|
|
|
|
|
|
import Navy::C,,
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Army
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Army
|
|
|
|
|
cert Army:
|
|
|
|
|
result fail
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Army
|
|
|
|
|
cert Army:
|
|
|
|
|
trust Army:
|
|
|
|
|
result pass
|
|
|
|
|
|
|
|
|
|
verify User:Bridge
|
|
|
|
|
cert Bridge:Army
|
|
|
|
|
trust Army:
|
|
|
|
|
result pass
|
|
|
|
|
|
