source: examples/alumni_rt1_typed/rr @ c586a3c

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since c586a3c was c469edf, checked in by Mei <mei@…>, 12 years ago

1) add examples/runall
2) modified examples/DIR/rr to

use pwd instead of wired directory path
  • Property mode set to 100755
File size: 1.2 KB
Line 
1rm -rf creds_dump
2
3pwd=`pwd`
4
5#eloc=/home/mei/Deter/abac/libabac
6eloc=$pwd/../../libabac
7#keyloc=/home/mei/Deter/abac/examples/alumni_rt1_typed
8keyloc=$pwd
9
10stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem`
11bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
12maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
13joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
14
15stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni"
16bob_prin="[keyid:$bob]"
17maryann_prin="[keyid:$maryann]"
18joe_prin="[keyid:$joe]"
19
20# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
21# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
22
23## dump all credentials
24$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
25
26# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
27echo "===bad============ stateU.foundingAlumni <- Bob yap "
28$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"
29
30# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
31# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
32#echo "===good============ stateU.foundingAlumni <- Maryann yap "
33$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
34
35
Note: See TracBrowser for help on using the repository browser.