Source code
Revision control
Copy as Markdown
Other Tools
# 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
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