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
RevLine 
[10e1588]1rm -rf creds_dump
2
[c469edf]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
[10e1588]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
[da5afdf]15stateU_foundingAlumni="[keyid:$stateU].role:foundingAlumni"
[10e1588]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
[e88c95b]24$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
[10e1588]25
[d5bbd3e]26# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
[36b100a]27echo " "
[10e1588]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)
[da5afdf]32# asking, isMember(pMaryann,role(pStateU,foundingAlumni),C).
[36b100a]33echo " "
34echo "===good============ stateU.foundingAlumni <- Maryann yap "
[10e1588]35$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
36
37
[2c01913]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.