source: examples/experiment_create_rt0_typed/README @ 9502c50

#!/bin/sh
#
#
#Acme runs a testbed. They've delegated the authority to create
#experiments to all their partners. The Globotron company is one such
#partner.
#
#    Acme.experiment_create <- Acme.partner.experiment_create
#    Acme.partner <- Globotron
#
#Globotron has delegated the authority to anyone an admin thinks is a
#'power user'.
#
#    Globotron.experiment_create <- Globotron.admin.power_user
#
#Alice is an admin, and her friend Bob is a power user:
#
#    Globotron.admin <- Alice
#    Alice.power_user <- Bob
#
#From these credentials, it is possible to construct a proof graph
#showing that Acme.experiment_create <- Bob.
#
#Note that there is a one-to-one correspondence with each credential
#above and the attribute certificates below.
#

# experiment_create_rt0_typed 

creddy --generate --cn Acme
creddy --generate --cn Globotron
creddy --generate --cn Alice
creddy --generate --cn Bob

#[keyid:Acme].role:experiment_create <- [keyid:Acme].role:partner.role:experiment_create
creddy --attribute \
       --issuer Acme_ID.pem --key Acme_private.pem --role experiment_create \
       --subject-cert Acme_ID.pem --subject-role partner.experiment_create \
       --out Acme_experiment_create__Acme_partner_experiment_create_attr.der

#[keyid:Acme].role:partner <- [keyid:Globotron]
creddy --attribute \
       --issuer Acme_ID.pem --key Acme_private.pem --role partner \
       --subject-cert Globotron_ID.pem \
       --out Acme_partner__Globotron_attr.der 

#[keyid:Globotron].role:expriment_create <- [keyid:Globotron].role:admin.role:power_user
creddy --attribute \
       --issuer Globotron_ID.pem --key Globotron_private.pem --role experiment_create \
       --subject-cert Globotron_ID.pem --subject-role admin.power_user \
       --out Globotron_experiment_create__Globotron_admin_power_user_attr.der

#[keyid:Globotron].role:admin <- [keyid:Alice]
creddy --attribute \
       --issuer Globotron_ID.pem --key Globotron_private.pem --role admin \
       --subject-cert Alice_ID.pem \
       --out Globotron_admin__Alice_attr.der

#[keyid:Alice].role:power_user <- [keyid:Bob]
creddy --attribute \
       --issuer Alice_ID.pem --key Alice_private.pem --role power_user \
       --subject-cert Bob_ID.pem \
       --out Alice_power_user__Bob_attr.der