source: examples/creddy_prover_tests/payraise_rt1/run_query @ 8de54ab

mei_rt2mei_rt2_fix_1
Last change on this file since 8de54ab was 08b8da7, checked in by Mei <mei@…>, 12 years ago

1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there

  • Property mode set to 100755
File size: 1.2 KB
Line 
1
2# raise_rt1_typed
3
4pwd=`pwd`
5eloc=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
6if [ "$eloc" = "" ]; then
7  echo "ERROR: abac_prover_yap is not in the search path!!!"
8  exit 1
9fi
10keyloc=$pwd
11
12alpha=`creddy --keyid --cert $keyloc/Alpha_ID.pem`
13
14bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
15maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
16joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
17
18alpha_payRaise="[keyid:$alpha].role:payRaise"
19
20bob_prin="[keyid:$bob]"
21maryann_prin="[keyid:$maryann]"
22joe_prin="[keyid:$joe]"
23
24# [keyid:alpha].role:payRaise <-?- [keyid:Maryann] (yes)
25# [keyid:alpha].role:payRaise <-?- [keyid:Joe] (yes)
26
27## dump all credentials
28$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
29#$eloc/abac_prover_yap  --keystore $keyloc --dbdump
30
31# [keyid:alpha].role:payRaise <-?- [keyid:Joe] (no)
32echo " "
33echo "===bad============ alpha.payRaise <- Joe"
34$eloc/abac_prover_yap  --keystore $keyloc --role "$alpha_payRaise" --principal "$joe_prin"
35
36# [keyid:alpha].role:payRaise <-?- [keyid:Maryann] (yes)
37echo " "
38echo "===good============ alpha.payRaise <- Maryann"
39$eloc/abac_prover_yap  --keystore $keyloc --role "$alpha_payRaise" --principal "$maryann_prin"
40
41
Note: See TracBrowser for help on using the repository browser.