source: examples/creddy_prover_tests/experiment_create_rt0/README @ 2c03e57

mei_rt2mei_rt2_fix_1
Last change on this file since 2c03e57 was 2efdff5, checked in by Mei <mei@…>, 12 years ago

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output

  • Property mode set to 100755
File size: 2.2 KB
Line 
1#!/bin/sh
2#
3#
4#Acme runs a testbed. They've delegated the authority to create
5#experiments to all their partners. The Globotron company is one such
6#partner.
7#
8#    Acme.experiment_create <- Acme.partner.experiment_create
9#
10#Globotron has delegated the authority to anyone an admin thinks is a
11#'power user'.
12#
13#    Globotron.experiment_create <- Globotron.admin.power_user
14#
15#Alice is an admin, and her friend Bob is a power user:
16#
17#    Globotron.admin <- Alice
18#    Alice.power_user <- Bob
19#
20#From these credentials, it is possible to construct a proof graph
21#showing that Acme.experiment_create <- Bob.
22#
23#Note that there is a one-to-one correspondence with each credential
24#above and the attribute certificates below.
25#
26
27# experiment_create_rt0
28
29creddy --generate --cn Acme
30creddy --generate --cn Globotron
31creddy --generate --cn Alice
32creddy --generate --cn Bob
33
34#[keyid:Acme].role:experiment_create <- [keyid:Acme].role:partner.role:experiment_create
35creddy --attribute \
36       --issuer Acme_ID.pem --key Acme_private.pem --role experiment_create \
37       --subject-cert Acme_ID.pem --subject-link partner --subject-role experiment_create \
38       --out Acme_experiment_create__Acme_partner_experiment_create_attr.der
39
40#[keyid:Acme].role:partner <- [keyid:Globotron]
41creddy --attribute \
42       --issuer Acme_ID.pem --key Acme_private.pem --role partner \
43       --subject-cert Globotron_ID.pem \
44       --out Acme_partner__Globotron_attr.der
45
46#[keyid:Globotron].role:expriment_create <- [keyid:Globotron].role:admin.role:power_user
47creddy --attribute \
48       --issuer Globotron_ID.pem --key Globotron_private.pem --role experiment_create \
49       --subject-cert Globotron_ID.pem --subject-link admin --subject-role power_user \
50       --out Globotron_experiment_create__Globotron_admin_power_user_attr.der
51
52#[keyid:Globotron].role:admin <- [keyid:Alice]
53creddy --attribute \
54       --issuer Globotron_ID.pem --key Globotron_private.pem --role admin \
55       --subject-cert Alice_ID.pem \
56       --out Globotron_admin__Alice_attr.der
57
58#[keyid:Alice].role:power_user <- [keyid:Bob]
59creddy --attribute \
60       --issuer Alice_ID.pem --key Alice_private.pem --role power_user \
61       --subject-cert Bob_ID.pem \
62       --out Alice_power_user__Bob_attr.der
63
64
Note: See TracBrowser for help on using the repository browser.