source: examples/alumni_rt1_typed/rr @ 8fa2c49

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 8fa2c49 was 8fa2c49, checked in by Ted Faber <faber@…>, 12 years ago

Remove debugging

  • Property mode set to 100755
File size: 1.5 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] (no)
27echo " "
28echo "===bad============ stateU.foundingAlumni <- Bob yap "
29$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"
30
31# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
32# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
33echo " "
34echo "===good============ stateU.foundingAlumni <- Maryann yap "
35$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
36
37
38# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
39# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
40echo " "
41echo "===good============ stateU.foundingAlumni <- Joe yap "
42$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$joe_prin"
43
Note: See TracBrowser for help on using the repository browser.